一种新的变异测试数据自动生成方法

摘要：

变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.

关键词：变异测试、变异体、测试数据、充分性准则

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60373003;国家"八六三"高技术研究发展计划项目基金2004AA112070;国家"九七三"重点基础研究发展规划项目基金2002CB312000;中国博士后科学基金项目2003034077

在线出版日期：2008-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1025-1034