软件学报

作者：孙昌爱，耿宁，代贺鹏，顾友达

单位：孙昌爱，北京科技大学 计算机与通信工程学院, 北京 100083;计算机科学国家重点实验室(中国科学院 软件研究所), 北京 10019011,耿宁，北京科技大学 计算机与通信工程学院, 北京 10008302,代贺鹏，北京科技大学 计算机与通信工程学院, 北京 10008303,顾友达，北京科技大学 计算机与通信工程学院, 北京 10008304

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

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

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

来源：2022年第2期

《软件学报》期刊编辑部

查看软件学报杂志2022年第2期