| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一种新的变异测试数据自动生成方法 |
| 作者 | 单锦辉1),2) 高友峰1) 刘明浩1) 刘江红1) 张路1) 孙家骕1) |
| 作者单位 | 1)(北京大学信息科学技术学院软件研究所 北京 100871) 2)(兰州市27支局15信箱14号 兰州 732750) |
| 发表年份 | 2008 |
| 发表月份 | 6期(1025—1034) |
| 文章摘要 | 摘要 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性. 关键词:变异测试;变异体;测试数据;充分性准则 |