TY - GEN
T1 - Coverage and its discontents
AU - Groce, Alex
AU - Alipour, Mohammad Amin
AU - Gopinath, Rahul
N1 - Publisher Copyright:
Copyright © 2014 ACM.
PY - 2014/10/20
Y1 - 2014/10/20
N2 - Everyone wants to know one thing about a test suite: will it detect enough bugs? Unfortunately, in most settings that matter, answering this question directly is impractical or impossible. Software engineers and researchers therefore tend to rely on various measures of code coverage (where mutation testing is considered a form of syntactic coverage). A long line of academic research efforts have attempted to determine whether relying on coverage as a substitute for fault detection is a reasonable solution to the problems of test suite evaluation. This essay argues that the profusion of coverage-related literature is in part a sign of an underlying uncertainty as to what exactly it is that measuring coverage should achieve, as well as how we would know if it can, in fact, achieve it. We propose some solutions and mitigations, but the primary focus of this essay is to clarify the state of current confusions regarding this key problem for effective software testing.
AB - Everyone wants to know one thing about a test suite: will it detect enough bugs? Unfortunately, in most settings that matter, answering this question directly is impractical or impossible. Software engineers and researchers therefore tend to rely on various measures of code coverage (where mutation testing is considered a form of syntactic coverage). A long line of academic research efforts have attempted to determine whether relying on coverage as a substitute for fault detection is a reasonable solution to the problems of test suite evaluation. This essay argues that the profusion of coverage-related literature is in part a sign of an underlying uncertainty as to what exactly it is that measuring coverage should achieve, as well as how we would know if it can, in fact, achieve it. We propose some solutions and mitigations, but the primary focus of this essay is to clarify the state of current confusions regarding this key problem for effective software testing.
KW - Coverage
KW - Evaluation
KW - Testing
UR - http://www.scopus.com/inward/record.url?scp=84910653571&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84910653571&partnerID=8YFLogxK
U2 - 10.1145/2661136.2661157
DO - 10.1145/2661136.2661157
M3 - Conference contribution
AN - SCOPUS:84910653571
T3 - Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014
SP - 255
EP - 268
BT - Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014
PB - Association for Computing Machinery
T2 - 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014
Y2 - 20 October 2014 through 24 October 2014
ER -