Subsumption relation

Exampĺe 1

Another jelly bean criterion may be to try all flavors whose name begins with the letter `C'. This would result in the test requirements {Cantaloupe}, which is a subset of the requirements for the flavor criterion: {Lemon, Pistachio, Cantaloupe, Pear, Tangerine, Apricot}. Thus, the flavor criterion subsumes the "starts-with-C" criterion.

References

  • <bib>ammann-offutt:2008</bib>


Exampĺe 2

The relationship between the flavor and the color criteria illustrate the other way that subsumption can be shown. Since every flavor has a specific color, and every color is represented by at least one flavor, if we satisfy the flavor criterion we will also satisfy the color criterion. Formally, a many-to-one mapping exists between the requirements for the flavor criterion and the requirements for the color criterion. Thus, the flavor criterion subsumes the color criterion. (If a one-to-one mapping exists between requirements from two criteria, then they would subsume each other.)

References

  • <bib>ammann-offutt:2008</bib>


Example 3

If a test set has covered every branch in a program (satisfied branch coverage), then the test set is guaranteed to have covered every statement as well. Thus, the branch coverage criterion subsumes the statement coverage criterion.

References

  • <bib>ammann-offutt:2008</bib>