| 基于路径比较的变异测试方法 |
| |
| 引用本文： | 姚香娟,巩敦卫.基于路径比较的变异测试方法[J].电子学报,2012,40(1):103-107. |
| |
| 作者姓名： | 姚香娟 巩敦卫 |
| |
| 作者单位： | 1. 中国矿业大学信息与电气工程学院,江苏徐州221116;中国矿业大学理学院,江苏徐州221116;武汉大学软件工程国家重点实验室,湖北武汉430072
2. 中国矿业大学信息与电气工程学院,江苏徐州221116;武汉大学软件工程国家重点实验室,湖北武汉430072 |
| |
| 基金项目： | 国家自然科学基金，高等学校博士学科点专项科研基金(博士生导师类)，江苏省自然科学基金，武汉大学软件工程国家重点实验室开放基金，中国矿业大学青年科技基金 |
| |
| 摘 要： | 提出基于路径比较的变异测试方法.首先,通过比较穿越路径判定变异体是否被杀死;然后,建立基于路径覆盖的变异测试数据生成模型,该模型把杀死变异体作为目标,把满足特定路径覆盖作为约束;最后,采用遗传算法求解该模型.将本文方法应用于典型被测程序,结果表明,该方法可以降低变异测试的难度,并提高测试数据的生成效率.
|
| 关 键 词： | 变异测试 路径比较 测试数据 遗传算法 |
| 收稿时间： | 2011-01-07 |
Mutation Testing Based on Comparison of Paths |
| |
| YAO Xiang-juan,GONG Dun-wei.Mutation Testing Based on Comparison of Paths[J].Acta Electronica Sinica,2012,40(1):103-107. |
| |
| Authors: | YAO Xiang-juan GONG Dun-wei |
| |
| Affiliation: | 1,3(1.School of Information and Electrical Engineering,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;2.College of Science,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;3.State Key Laboratory of Software Engineering,Wuhan University,Wuhan,Hubei 430072,China) |
| |
| Abstract: | This study proposed a mutation testing method based on comparison of paths.First,whether a mutation is killed is determined by comparing the traversed paths;then,a model of test data generation for mutation testing based on path coverage is proposed.In the mathematic model,the objective is to kill the mutation and the constraint is to traverse the chosen path.Finally,we applied the proposed method to some typical programs.The experimental results show that the proposed method can not only reduce the difficulty of mutation testing,but also improve the efficiency of generating test data. |
| |
| Keywords: | mutation testing path comparison test data genetic algorithm |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
