典型文献
CMuJava:一个面向Java程序并发变异体生成系统
文献摘要：
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程序的一个关键问题是,如何高效地生成大量的模拟并发故障的变异体集合.给出了一种并发程序的变异测试框架,研制了一个并发变异体自动生成工具CMuJava.采用经验研究的方式评估了CMuJava生成的变异体集合的正确性与充分性,并且评估了变异体生成的效率.实验结果表明:CMuJava能够准确、充分地生成并发变异体集合,极大地提高了手工变异体生成的效率.
文献关键词：
并发程序;变异测试;并发变异算子;并发变异体;测试工具
中图分类号：
作者姓名：
孙昌爱;耿宁;代贺鹏;顾友达
作者机构：
北京科技大学 计算机与通信工程学院, 北京 100083;计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
文献出处：
引用格式：
[1]孙昌爱;耿宁;代贺鹏;顾友达-.CMuJava:一个面向Java程序并发变异体生成系统)[J].软件学报,2022(02):397-409
A类：
CMuJava,并发变异体,并发变异算子
B类：
并发程序,共享存储,存储空间,并发执行,次序,发软,软件系统,变异测试,软件测试技术,评估测试,测试用例集,充分性,并发故障,测试框架,自动生成工具,经验研究,极大地提高,测试工具
AB值：
0.235245
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
