计算机工程与应用2017，Vol.53Issue(12)：21-24,30,5.DOI:10.3778/j.issn.1002-8331.1703-0070
等价变异体的弱变异分析方法
ZHANG Gongjie, XIE Chunli. Equivalent mutant analysis in weak mutation testing
摘要
Abstract
Mutation testing evaluates the quality of given test cases by executing mutants. However, a certain percentage of equivalent mutants increase the cost of mutation testing, as well as influence the accuracy of evaluating the given test cases. 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 and after mutation, and the mutant branches are constructed from the combined conditional expressions. All mutant branches are integrated into the original program. The equivalent mutants are identified according to the satisfiability of mutant branches. The proposed method is applied to six programs, and the results suggest that the proposed method can effectively identify the equivalent mutants.关键词
变异测试/弱变异测试/等价变异体/变异分支Key words
mutation testing/weak mutation testing/equivalent mutant/mutant branch分类
信息技术与安全科学引用本文复制引用
张功杰,谢春丽..等价变异体的弱变异分析方法[J].计算机工程与应用,2017,53(12):21-24,30,5.基金项目
国家自然科学基金(No.61502212,No.61573362) （No.61502212,No.61573362）
江苏师范大学自然科学基金(No.14XLA01). （No.14XLA01）
