
Test Adequacy Assessment
6.6 THE SUBSUMES RELATION
We have discussed a variety of control-flow- and data-flow-based crite-
ria to assess the adequacy of tests. These criteria assist in the selection
of tests from a large, potentially infinite set of inputs to the program un-
der test. They also assist in the selection of a finite, and relatively small,
number of paths through the program. All control-flow- and data-flow-
based adequacy criteria are similar in that their objective is to assist a
tester find a suitable subset of paths to be tested from the set of all paths
in a given program. Given this similarity of objectives of the various ad-
equacy criteria, ...