基于路径比较的变异测试方法
作者:姚香娟;巩敦卫
作者单位:中国矿业大学信息与电气工程学院,江苏徐州221116;中国矿业大学理学院,江苏徐州221116;武汉大学软件工程国家重点实验室,湖北武汉430072;中国矿业大学信息与电气工程学院,江苏徐州221116;武汉大学软件工程国家重点实验室,湖北武汉430072
加工时间:2013-10-15
信息来源:《电子学报》
关键词:变异测试;路径比较;测试数据;遗传算法
摘 要:提出基于路径比较的变异测试方法.首先,通过比较穿越路径判定变异体是否被杀死;然后,建立基于路径覆盖的变异测试数据生成模型,该模型把杀死变异体作为目标,把满足特定路径覆盖作为约束;最后,采用遗传算法求解该模型.将本文方法应用于典型被测程序,结果表明,该方法可以降低变异测试的难度,并提高测试数据的生成效率.