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

• 作者: 孙昌爱 耿宁 代贺鹏 顾友达
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 并发程序 变异测试 并发变异算子 并发变异体 测试工具
• 年，卷（期）: 2022,（2）
• 所属期刊栏目: 系统软件与软件工程|SYSTEM SOFTWARE AND SOFTWARE ENGINEERING
• 页码范围: 397-409
• 页数: 13页
• 分类号: TP311
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.006137

摘要

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