ホワイトボックステストの網羅基準

ホワイトボックステストの網羅基準は、プログラムの内部構造をもとに、テストでどこまで実行したかを測る基準です。

■ 試験で押さえるポイント

• 命令網羅（C0）は、全ての命令を少なくとも1回実行します。

• 判定条件網羅（分岐網羅、C1）は、全ての判定で真と偽の両方を少なくとも1回通ります。

• 複数条件網羅は、判定の中の各条件の真と偽の全ての組合せを試します。

■ 選択肢での判断ポイント

命令網羅を満たしても、判定条件網羅を満たすとは限りません。偽の側に命令がない分岐は通らなくても命令網羅になります。

例: 「Aが真ならXを実行」の判定で、Aが真の場合だけを試すと命令網羅は満たしますが、分岐網羅は満たしません。