文件名称：论文研究-等价变异体的弱变异分析方法.pdf
文件大小：483KB
文件格式：PDF
更新时间：2022-09-27 01:53:59
论文研究
变异测试通过执行变异体评价给定测试用例集的质量。然而，一定比例的等价变异体，不仅增加变异测试成本，也影响测试用例评价结果的准确性。鉴于此，提出基于弱变异分析的方法，以有效检测等价变异体。所提方法将变异前后语句组合为条件语句，以反映杀死变异体的必要性条件，并构造变异分支；将所有变异分支集成到原程序中；通过分析变异分支的可满足性，判定等价变异体。将所提方法用于6个程序的实验，结果表明，所提方法能够有效检测等价变异体。