作者
Lingming Zhang, Darko Marinov, Sarfraz Khurshid
发表日期
2013/7/15
图书
Proceedings of the 2013 International Symposium on Software Testing and Analysis
页码范围
235-245
简介
Mutation testing is a well-known but costly approach for determining test adequacy. The central idea behind the approach is to generate mutants, which are small syntactic transformations of the program under test, and then to measure for a given test suite how many mutants it kills. A test t is said to kill a mutant m of program p if the output of t on m is different from the output of t on p. The effectiveness of mutation testing in determining the quality of a test suite relies on the ability to apply it using a large number of mutants. However, running many tests against many mutants is time consuming. We present a family of techniques to reduce the cost of mutation testing by prioritizing and reducing tests to more quickly determine the sets of killed and non-killed mutants. Experimental results show the effectiveness and efficiency of our techniques.
引用总数
2012201320142015201620172018201920202021202220232024149810814147101475
学术搜索中的文章
L Zhang, D Marinov, S Khurshid - Proceedings of the 2013 International Symposium on …, 2013