摘要
变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
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.
出处
《计算机学报》
EI
CSCD
北大核心
2008年第6期1025-1034,共10页
Chinese Journal of Computers
基金
国家自然科学基金(60373003)
国家“八六三”高技术研究发展计划项目基金(2004AA112070)
国家“九七三”重点基础研究发展规划项目基金(2002CB312000)
中国博士后科学基金项目(2003034077)资助~~
