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

孙昌爱耿宁代贺鹏顾友达

北京科技大学;

摘要：

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

关键词：并发程序;变异测试;并发变异算子;并发变异体;测试工具

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金;中国科学院软件研究所计算机科学国家重点实验室开放课题;中央高校基本科研业务费专项

在线出版日期：2022-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：397-409