複数条件網羅

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

判定文に含まれる複数の条件について、真と偽のすべての組合せを少なくとも1回ずつ実行するようにテストケースを作る網羅基準。命令網羅、判定条件網羅、条件網羅より強いが、条件の数がnなら2のn乗通りのケースが必要になる。

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

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

判定文の結果が真になる場合と偽になる場合の両方を試す基準。分岐網羅ともいう。すべての分岐が実行されるため命令網羅より強いが、条件が複数ある場合は組合せまでは確認しない。

テストで実行する1つ1つの確認項目。入力データ、前提条件、操作の手順と、それに対して期待される結果の組で表す。ブラックボックステストやホワイトボックステストの技法を使い、少ない件数で誤りを効率よく見つけられるように作る。

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

テストで、対象のプログラムの命令、分岐、条件、経路などのうちどれだけを実行したかの割合。カバレージ、網羅率とも呼ぶ。命令網羅、判定条件網羅、条件網羅、複数条件網羅などの基準ごとに測り、テストの十分さを判断する目安にする。網羅度が高くても、仕様の誤りや機能の漏れは見つけられない。