Reducing mutation costs through uncovered mutants

被引:15
|
作者
Reales Mateo, Pedro [1 ]
Polo Usaola, Macario [1 ]
机构
[1] Univ Castilla La Mancha, Inst Tecnol & Sistemas Informac, E-13071 Ciudad Real, Spain
来源
关键词
mutation testing; empirical analysis; MUSIC; execution cost reduction; infinite loops;
D O I
10.1002/stvr.1534
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Mutation testing is a very effective testing technique that creates mutants in order to design test cases that will kill the mutants. One problem of mutation testing is high costs: creating mutants, executing mutants and calculating the mutation score. This paper empirically analyzes the effect of covering mutants through the mutant schema improved with extra code (MUSIC) technique. This technique annotates the statements covered by the tests in the original system in order to filter the mutant executions, because tests are only executed against the mutants whose mutated statement is covered by the tests. Therefore, MUSIC is meant to reduce the number of required executions and identify infinite loops at a reduced cost. Besides, an experiment was performed to evaluate the advantages and disadvantages of analyzing the covered mutants. As a result, we conclude that analyzing the covered mutants reduces the execution cost of mutation testing and its application is therefore recommended. Copyright (C) 2014 John Wiley & Sons, Ltd.
引用
收藏
页码:464 / 489
页数:26
相关论文
共 50 条