| 一种新的变异测试数据自动生成方法 |
| |
| 引用本文： | 单锦辉,高友峰,刘明浩,刘江红,张路,孙家骕.一种新的变异测试数据自动生成方法[J].计算机学报,2008,31(6):1025-1034. |
| |
| 作者姓名： | 单锦辉 高友峰 刘明浩 刘江红 张路 孙家骕 |
| |
| 作者单位： | 1. 北京大学信息科学技术学院软件研究所,北京,100871;兰州市27支局15信箱14号,兰州,732750
2. 北京大学信息科学技术学院软件研究所,北京,100871 |
| |
| 基金项目： | 国家自然科学基金
,
国家高技术研究发展计划(863计划)
,
国家重点基础研究发展计划(973计划)
,
中国博士后科学基金 |
| |
| 摘 要： | 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
|
| 关 键 词： | 变异测试 变异体 测试数据 充分性准则 |
| 修稿时间： | 2006年12月26 |
A New Approach to Automated Test Data Generation in Mutation Testing |
| |
| SHAN Jin-Hui,GAO You-Feng,LIU Ming-Hao,LIU Jiang-Hong,ZHANG Lu,SUN Jia-Su.A New Approach to Automated Test Data Generation in Mutation Testing[J].Chinese Journal of Computers,2008,31(6):1025-1034. |
| |
| Authors: | SHAN Jin-Hui GAO You-Feng LIU Ming-Hao LIU Jiang-Hong ZHANG Lu SUN Jia-Su |
| |
| Abstract: | |
| |
| Keywords: | mutation testing mutant test data adequacy criterion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
