摘要
变异测试通过执行变异体评价给定测试用例集的质量。然而,一定比例的等价变异体,不仅增加变异测试成本,也影响测试用例评价结果的准确性。鉴于此,提出基于弱变异分析的方法,以有效检测等价变异体。所提方法将变异前后语句组合为条件语句,以反映杀死变异体的必要性条件,并构造变异分支;将所有变异分支集成到原程序中;通过分析变异分支的可满足性,判定等价变异体。将所提方法用于6个程序的实验,结果表明,所提方法能够有效检测等价变异体。
Mutation testing evaluates the quality of given test cases by executing mutants.However,a certain percentageof equivalent mutants increase the cost of mutation testing,as well as influence the accuracy of evaluating the given testcases.A method is presented based on weak mutation analysis to accurately detect the equivalent mutants.In the method,conditional expressions,which can reflect the necessity of killing mutants,are combined by the statements before andafter mutation,and the mutant branches are constructed from the combined conditional expressions.All mutant branchesare integrated into the original program.The equivalent mutants are identified according to the satisfiability of mutantbranches.The proposed method is applied to six programs,and the results suggest that the proposed method can effectivelyidentify the equivalent mutants.
作者
张功杰
谢春丽
ZHANG Gongjie;XIE Chunli(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, Jiangsu 221116, China;School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, Jiangsu 221116, China)
出处
《计算机工程与应用》
CSCD
北大核心
2017年第12期21-24,30,共5页
Computer Engineering and Applications
基金
国家自然科学基金(No.61502212
No.61573362)
江苏师范大学自然科学基金(No.14XLA01)
关键词
变异测试
弱变异测试
等价变异体
变异分支
mutation testing
weak mutation testing
equivalent mutant
mutant branch