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

A New Approach to Automated Test Data Generation in Mutation Testing

作　　者：单锦辉[1] 高友峰[1] 刘明浩[1] 刘江红[1] 张路[1] 孙家骕[1] 

机构地区：[1]北京大学信息科学技术学院软件研究所,北京100871兰州市27支局15信箱14号兰州732750,北京100871

出　　处：《计算机学报》2008年第6期1025-1034,共10页Chinese Journal of Computers

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

摘　　要：变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.Mutation testing is an effective software testing method, which generates mutants by applying mutation operators to simulate software defects systematically, and then a test suit is constructed to kill these mutants. It will improve the efficiency and effectiveness in mutation testing to generate test data to kill mutants automatically. The existing approaches generate test datum for killing a single mutant. According to the observation that the conditions of killing multiple same-location mutants are of similar, a new approach is proposed in this paper, which combines these same-location mutants＇ conditions, then test datum which may kill more mutants is generated. A prototype is developed, on which experiments are carried out to validate the effectiveness of the proposed approach.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]