DMCA
Subsumption of Condition Coverage Techniques by Mutation Testing (1996)
| Citations: | 23 - 4 self |
BibTeX
@MISC{Offutt96subsumptionof,
author = {A. Jefferson Offutt and Jeffrey M. Voas},
title = {Subsumption of Condition Coverage Techniques by Mutation Testing},
year = {1996}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Condition coverage testing is a family of testing techniques that are based on the logical flow of control through a program. The condition coverage techniques include a variety of requirements, including that each statement in the program is executed and that each branch is executed. Mutation testing is a fault-based testing technique that is widely considered to be very powerful, and that imposes requirements on testing that include, and go beyond, many other techniques. In this paper, we consider the six common condition coverage techniques, and formally show that these techniques are subsumed by mutation testing, in the sense that if mutation testing is satisfied, then the condition coverage techniques are also satisfied. The fact that condition coverage techniques are subsumed by mutation has immediate practical significance because the extensive research that has already been done for mutation can be used to support condition coverage techniques, including automated tool...
