2014变异测试教程详解.pptVIP

变异测试 变异测试是一种对测试集的充分性进行评估的技术，以创建更有效的的测试集。 变异测试与路径或数据流测试不同，没有测试数据的选择规则。 变异测试应该与传统的测试技术结合，而不是取代它们。 基本思想 给定一个程序P和一个测试数据集T，通过变异算子为P产生一组变异体Mi（合乎语法的变更），对P和M都使用T进行测试运行，如果某Mi在某个测试输入t上与P产生不同的结果，则该Mi被杀死；若某Mi在所有的测试数据集上都与P产生相同的结果，则称其为活的变异体。接下来对活的变异体进行分析，检查其是否等价于P；对不等价于P的变异体M进行进一步的测试，直到充分性度量达到满意的程度。 程序变异概念 P’称为P的变异体 如果对于T中的测试t，有P(t)≠P’(t)，称作P’与P有区别（ distinguishes），或者t杀死（killed）P’. 如果T中所有的测试 t使得P(t)=P’(t)，称T不能区别P和P’。那么称在测试过程中P’是活的（live）. 如果在程序P的输入域中不存在任何测试用例t使得P与P’ 区别，则称P’等价于P。 如果P’不等价于P，而且T中没有测试能够将P’与P区别，则认为T是不充分的。 不等价而且是活的变异体为测试人员提供了一个生成新测试用例的机会，进而增强测试T。 测试充分性评估过程 第1步：程序执行 P(t)表示给定测试用例t，程序P的执行结果由P中变量的输出值表