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

CMuJava:Concurrent Mutant Generation System for Java

作　　者：孙昌爱[1,2] 耿宁 代贺鹏 顾友达 SUN Chang-Ai;GENG Ning;DAI He-Peng;GU You-Da(School of Computer and Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China;State Key Laboratory of Computer Science(Institute of Software,Chinese Academy of Sciences),Beijing 100190,China)

机构地区：[1]北京科技大学计算机与通信工程学院,北京100083 [2]计算机科学国家重点实验室(中国科学院软件研究所),北京100190

出　　处：《软件学报》2022年第2期397-409,共13页Journal of Software

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

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]