等价变异体的弱变异分析方法

来源：计算机工程与应用杂志2017年第12期北京时间：

作者：张功杰1，2，谢春丽2

单位：1.中国矿业大学 计算机科学与技术学院，江苏 徐州 221116；2.江苏师范大学 计算机科学与技术学院，江苏 徐州 221116

摘要：变异测试通过执行变异体评价给定测试用例集的质量。然而，一定比例的等价变异体，不仅增加变异测试成本，也影响测试用例评价结果的准确性。鉴于此，提出基于弱变异分析的方法，以有效检测等价变异体。所提方法将变异前后语句组合为条件语句，以反映杀死变异体的必要性条件，并构造变异分支；将所有变异分支集成到原程序中；通过分析变异分支的可满足性，判定等价变异体。将所提方法用于6个程序的实验，结果表明，所提方法能够有效检测等价变异体。

关键词：变异测试,弱变异测试,等价变异体,变异分支