基于路径比较的变异测试方法
Mutation Testing Based on Comparison of Paths作者机构:中国矿业大学信息与电气工程学院江苏徐州221116 中国矿业大学理学院江苏徐州221116 武汉大学软件工程国家重点实验室湖北武汉430072
出 版 物:《电子学报》 (Acta Electronica Sinica)
年 卷 期:2012年第40卷第1期
页 面:103-107页
核心收录:
学科分类:0808[工学-电气工程] 0809[工学-电子科学与技术(可授工学、理学学位)] 08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家自然科学基金(No.61075061) 高等学校博士学科点专项科研基金(博士生导师类)(No.201000951100006) 江苏省自然科学基金(No.BK2010187) 武汉大学软件工程国家重点实验室开放基金(No.SKLSE2010-08-19) 中国矿业大学青年科技基金(No.2008A034)
摘 要:提出基于路径比较的变异测试方法.首先,通过比较穿越路径判定变异体是否被杀死;然后,建立基于路径覆盖的变异测试数据生成模型,该模型把杀死变异体作为目标,把满足特定路径覆盖作为约束;最后,采用遗传算法求解该模型.将本文方法应用于典型被测程序,结果表明,该方法可以降低变异测试的难度,并提高测试数据的生成效率.