基于变异错误定位的变异体约减策略研究.pdfVIP

摘 要 现如今计算机软件和人们的生活是密不可分的，保证软件的质量是人们首要 关注的问题。软件测试是保证软件质量的重要手段，程序调试则是软件测试中比 较困难的任务，而错误定位是程序调试中费时耗力的一步。因此，自动化的错误 定位方法的提出势在必行。有效的错误定位方法不仅能够提高程序错误定位效率， 还能降低软件测试的成本。 基于变异的错误定位因其较高的定位精度而受到国内外研究人员的广泛关 注，但因其生成的大量变异体使其定位效率低下，阻碍了该方法在实际中的应用。 本文在对已有方法和技术做研究分析的基础上，提出了基于覆盖的变异错误定位 方法和基于路径比较的变异体执行策略，并且实现了一个错误定位工具。 针对现有方法生成的变异体数量庞大的问题，本文提出了一种基于覆盖的变 异错误定位方法。该方法将基于覆盖的错误定位和基于变异的错误定位两者相结 合，用前者来指导变异体的生成。首先用基于覆盖的错误定位怀疑度公式计算源 程序每条语句的怀疑度，然后再根据源程序每条语句的怀疑度值降序对不同排名 的语句植入数量不同的变异算子，达到初步的变异体数量约减的目的。最后根据 变异算子的种类对变异体集合做二次约减。本文方法能够保证错误定位精度较高 的情况下，显著提升错误定位效率。 针对现有方法中有些错误难以被发现的问题，本文用路径比较的方式来选择 有价值的变异体，提出了基于路径比较的变异体执行策略。程序中存在一些错误， 仅通过判断变异体是否被杀死难以被发现。而通过比较源程序和变异体的执行路 径则可以发现这些错误。该方法通过路径比较选择出能够对揭示错误有价值的变 异体。对挑选出的有价值的变异体分别用成功和失败的测试用例运行它们。依赖 成功的测试用例可以得到变异体的理论怀疑度最大值，运行失败的测试用例后可 以得到变异体的实际怀疑度值，最后根据实际怀疑度值可求得一个阈值。理论怀 疑度最大值、实际怀疑度值和阈值三者可以动态的对后续变异体数量和测试用例 数量进行约减。实验结果表明本文方法能够发现程序中某些难以被发现的错误。 综上，基于覆盖的变异错误定位和基于路径比较的变异体执行策略是本文提 出的两种方法，设计并实现了一个错误定位工具来帮助研究人员发现错误。 该论文有图 19 幅，表 7 个，参考文献 80 篇。 关键词 ：软件测试；错误定位；变异测试 I Abstract Nowadays, computer software and people are inseparable from life. The quality of software is the primary concern of people. Software testing is a crucial way to ensure the quality of software. Program debugging is a more difficult task in software testing, and fault location is a time-consuming step in program debugging. Therefore, the study of effective fault location method can improve the efficiency of program debugging, reduce the cost of software testing and ensure the quality of software. Mutation-based fault location has been widely concerned by researchers. However, its efficiency is low because of its large number of mutants. So, the method cant be used into the actual life. A coverage-based mutation fault location method and a comparison-based mutation execution strateg