テストの網羅度

テストによってプログラムのどの程度が実行されたかを示す指標。命令網羅（C0）、判定条件網羅（C1）、条件網羅（C2）、複数条件網羅（MCC）などの基準があり、テストの十分性を評価する。

テストによってどの程度のプログラムコードが実行されたかを示す指標。命令網羅率（C0）、分岐網羅率（C1）、条件網羅率（C2）などがある。カバレッジ100%でも完全な品質保証にはならない点に注意が必要。

テストによってプログラムの構造や仕様をどの程度確認できたかを表す度合いで、カバレッジともいう。命令網羅、判定条件網羅、条件網羅、複数条件網羅などの基準ごとに、実行できた割合で示す。網羅度が高くても、仕様にある機能の実装漏れまでは検出できない。

プログラムを実際に実行して、出力や振る舞いを期待した結果と比べて確かめるテスト。プログラムを実行せずにソースコードを調べるレビューや静的解析と対比され、実行して初めて分かる処理の誤りや性能の問題を見つけられる。

ホワイトボックステストの網羅基準の一つで、プログラム中のすべての判定（分岐）について、真と偽の結果をそれぞれ少なくとも1回は実行するようにテストケースを設計するもの。分岐網羅とも呼ぶ。命令網羅より強い基準だが、判定を構成する個々の条件の組合せまでは確かめない。

ホワイトボックステストの網羅基準の一つで、判定を構成する個々の条件の真と偽のすべての組合せを実行するようにテストケースを設計するもの。条件の数が増えると組合せが急に増えるが、条件網羅や判定条件網羅より漏れの少ないテストができる。

ホワイトボックステストの網羅基準の一つで、プログラムの入口から出口までのすべての経路（パス）を少なくとも1回は実行するようにテストケースを設計するもの。パス網羅とも呼ぶ。最も強い基準だが、繰返しを含むと経路の数が膨大になるので、実際には対象とする経路を絞る。

すべての命令を少なくとも1回は実行するようにテストケースを作る基準。ステートメントカバレッジともいう。最も緩い基準で、条件の真偽の組合せまでは確認できない。

判定文の中の個々の条件について、真と偽の両方を少なくとも1回ずつ試す基準。個別の条件は網羅できるが、判定全体としての真偽が両方試されるとは限らない。