CMuJava: 一个面向Java程序并发变异体生成系统
作者:
作者单位:

作者简介:

孙昌爱(1974-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为软件测试, 故障定位, 服务计算;
耿宁(1996-), 女, 学士, 主要研究领域为软件测试;
代贺鹏(1993-), 男, 硕士, 主要研究领域为软件测试;
顾友达(1995-), 男, 学士, 主要研究领域为软件测试

通讯作者:

孙昌爱,casun@ustb.edu.cn

中图分类号:

TP311

基金项目:

国家自然科学基金(61872039); 中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1803); 中央高校基本科研业务费专项资金(FRF-GF-19-019B)


CMuJava: Concurrent Mutant Generation System for Java
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    并发程序由多个共享存储空间并发执行的流程组成. 由于流程之间执行次序的不确定性, 使得并发软件系统的测试比较困难. 变异测试是一种基于故障的软件测试技术, 广泛用于评估测试用例集的充分性和测试技术的有效性. 将变异测试应用于并发程序的一个关键问题是, 如何高效地生成大量的模拟并发故障的变异体集合. 给出了一种并发程序的变异测试框架, 研制了一个并发变异体自动生成工具CMuJava. 采用经验研究的方式评估了CMuJava生成的变异体集合的正确性与充分性, 并且评估了变异体生成的效率.实验结果表明: CMuJava能够准确、充分地生成并发变异体集合, 极大地提高了手工变异体生成的效率.

    Abstract:

    Concurrent programs are composed of multiple concurrent execution flows, which usually share storage space in an explicit or implicit manner. Uncertainty in the execution order of flows poses challenges for concurrent program testing. Mutation testing is a fault-based testing technique that is widely adopted to evaluate the adequacy of test suites and the effectiveness of test techniques. A key issue to applying mutation testing to concurrent programs is how to efficiently derive a large number of mutants that simulate possible concurrency-specific faults. This study proposes a mutation testing framework for concurrent programs and presents an automated concurrent mutant generation system called CMuJava. An empirical study is conducted to evaluate the correctness and adequacy of mutant sets generated by CMuJava and the mutant generation efficiency of CMuJava. The experimental results show that CMuJava can not only generate correct and adequate mutants, but also significantly improve the efficiency of manual mutant generation.

    参考文献
    相似文献
    引证文献
引用本文

孙昌爱,耿宁,代贺鹏,顾友达. CMuJava: 一个面向Java程序并发变异体生成系统.软件学报,2022,33(2):397-409

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2019-10-12
  • 最后修改日期:2019-12-22
  • 录用日期:
  • 在线发布日期: 2022-01-25
  • 出版日期: 2022-02-06
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号