命令網羅と判定条件網羅は、どちらもホワイトボックステストのテストケース設計に関する網羅度のレベルです。それぞれについて意味を確認しておきます。

命令網羅

全ての命令を少なくとも1回は実行するテストケースを設計する。最も網羅性が低い設計方法。

判定条件網羅（分岐網羅）

全ての分岐について分岐先の全ての経路を少なくとも1回は実行するようにテストケースを設計する。

例として以下の流れ図で表されるプログラムがあったときを考えます。それぞれの条件を満たす最小限のテストケースは次のように実行されるテストケースです。判定条件網羅を満たしていれば必ず命令網羅を満たしますが、命令網羅を満たしているからと言って判定条件網羅を満たすとは限りません。したがって「イ」の記述が適切です。

• 判定条件網羅を満足しても命令網羅を満足しない場合がある。
  判定条件網羅を満足すれば、どの分岐先についても命令が実行されるということになるので同時に命令網羅も満足します。
• 判定条件網羅を満足するならば，命令網羅も満足する。
  正しい。判定条件網羅を満足するならば、必ず命令網羅も満足します。
• 命令網羅を満足しなくても，判定条件網羅を満足する場合がある。
  命令網羅を満足しないならば、必ず判定条件網羅も満足しません。
• 命令網羅を満足するならば，判定条件網羅も満足する。
  命令網羅がそのまま判定条件網羅になるケースもありますが、命令網羅を満足していても判定条件網羅を満たすとは限りません。

💾 ✔️