Problems of Mutation Testing and Higher Order Mutation Testing

被引:25
作者
Quang Vu Nguyen [1 ]
Madeyski, Lech [1 ]
机构
[1] Wroclaw Univ Technol, Inst Informat, Wybrzeze Wyspianskiego 27, PL-50370 Wroclaw, Poland
来源
ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING | 2014年 / 282卷
关键词
Mutation Testing; Higher Order Mutation; Higher Order Mutants;
D O I
10.1007/978-3-319-06569-4_12
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Since Mutation Testing was proposed in the 1970s, it has been considered as an effective technique of software testing process for evaluating the quality of the test data. In other words, Mutation Testing is used to evaluate the fault detection capability of the test data by inserting errors into the original program to generate mutations, and after then check whether tests are good enough to detect them. However, the problems of mutation testing such as a large number of generated mutants or the existence of equivalent mutants, are really big barriers for applying mutation testing. A lot of solutions have been proposed to solve that problems. A new form of Mutation Testing, Higher Order Mutation Testing, was first proposed by Harman and Jia in 2009 and is one of the most promising solutions. In this paper, we consider the main limitations of Mutation Testing and previous proposed solutions to solve that problems. This paper also refers to the development of Higher Order Mutation Testing and reviews the methods for finding the good Higher Order Mutants.
引用
收藏
页码:157 / 172
页数:16
相关论文
共 100 条
[81]  
Papadakis Mike, 2010, Proceedings of the IEEE Third International Conference on Software Testing Verification and Validation - Workshops (ICSTW 2010), P90, DOI 10.1109/ICSTW.2010.50
[82]   Decreasing the cost of mutation testing with second-order mutants [J].
Polo, Macario ;
Piattini, Mario ;
Garcia-Rodriguez, Ignacio .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2009, 19 (02) :111-131
[83]   Toward understanding the rhetoric of small source code changes [J].
Purushothaman, R ;
Perry, DE .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005, 31 (06) :511-526
[84]  
Schuler David, 2010, Proceedings of the Third IEEE International Conference on Software Testing, Verification and Validation (ICST 2010), P45, DOI 10.1109/ICST.2010.30
[85]  
SCHULER D, 2009, P INT S SOFTW TEST A
[86]   Covering and Uncovering Equivalent Mutants [J].
Schuler, David ;
Zeller, Andreas .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (05) :353-374
[87]  
Schuler David, 2009, P 18 INT S SOFTW TES
[88]  
Untch R., 1992, P 30 ANN SE REGIONAL, P285
[89]  
Untch R. H., 1993, SIGSOFT Software Engineering Notes, V18, P139, DOI 10.1145/174146.154265
[90]  
Untch R. H., 1995, THESIS