Subsumption

Visualize the subsumption hierarchy between coverage criteria: when satisfying one criterion guarantees satisfaction of another.

How to read this

An arrow from A to B means A subsumes B: every test suite that satisfies A automatically satisfies B. Stronger criteria sit at the top. Pick a criterion to trace its chain.

Graph coverage

Logic coverage

Data flow coverage

Select a criterion — in the list or on the graph — to see what it guarantees and what guarantees it.

Highlighting

Selected criterion

Subsumes it (stronger)

Subsumed by it (weaker)