「分かりそう」で「分からない」でも「分かった」気になれるIT用語辞典

順番に見ていきましょう。
まずは予備知識として「条件分岐処理」について簡単に説明します。
「そんなの説明されなくても知ってるよ！」な人は適当に読み飛ばしてください。

条件分岐処理は「これだったら、あれをして。これじゃなかったら、それをして」のように、条件を満たすかどうかでプログラムさんにやらせることを変える命令です。
少しプログラミングよりな説明をすると、if文とか、switch文とかを使って書く処理です。



一般的なプログラムでは、途中で処理が条件分岐することも少なくありません。

以上を踏まえて

条件分岐な処理に対して「すべての条件のYes/Noが確認できればテストはOKだよね？」なテスト方針

が「条件網羅」です。
条件網羅は「C2」と表現されることも あります。

「条件」とか言われても、よく分からない人は

「ここの値が変わったら処理の行き先が変わるかもね」な要素

と解釈してください。
「ここの値が変わったら処理の行き先が変わるかもね」な要素すべてに対して、あっちに行く場合とこっちに行く場合を最低1回は確認するのが条件網羅です。

例えば、そうですね。
ここにピヨ太プログラムが ありました。



ピヨ太プログラムは

１．お腹が空いた
２．嫌なことがあった

のどちらかの条件を満たすと、ケーキを食べます。



次に

１．眠い

の条件を満たすと、お昼寝をします。



そんな役立たずなプログラムです。

ピヨ太プログラムの処理を、もう少しプログラムっぽく書くと以下のようになります。

if((お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)){
　　ケーキを食べる
}

if(眠い？ == Yes){
　　お昼寝をする
}



ここで「処理が枝分かれするための条件」に注目してください。

ピヨ太プログラムで出てくる条件（枝分かれの行き先が変わる要素）は

１．お腹が空いた？
２．嫌なことがあった？
３．眠い？

の3つです。



それぞれの条件は、YesかNoになります。
つまり、それぞれの判定結果が取り得る値は

１．お腹が空いた？ → Yes
２．お腹が空いた？ → No
３．嫌なことがあった？ → Yes
４．嫌なことがあった？ → No
５．眠い？ → Yes
６．眠い？ → No

の6パターンです。



この6パターンを少なくとも1回は確認できるようにテストするのが「条件網羅」です。

例えば、ピヨ太プログラムを

１．お腹が空いた
２．嫌なことはない
３．眠い

状態にして動かします。



そうすると

１．お腹が空いた？ → Yes
２．お腹が空いた？ → No
３．嫌なことがあった？ → Yes
４．嫌なことがあった？ → No
５．眠い？ → Yes
６．眠い？ → No

のうち

１．お腹が空いた？ → Yes
４．嫌なことがあった？ → No
５．眠い？ → Yes

の3パターンが確認できます。



※実際には「お腹が空いた？ → Yes」の条件を満した時点で（プログラミング言語によっては）「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の条件判定が終わるので「嫌なことがあった？ → No」の確認は取れていなかったりしますが、そーゆー難しいことが気になるだけの知識がある人は他のところで勉強してください。

次に、ピヨ太プログラムを

１．お腹いっぱい
２．嫌なことがあった
３．眠くない

状態にして動かします。



そうすると

１．お腹が空いた？ → Yes
２．お腹が空いた？ → No
３．嫌なことがあった？ → Yes
４．嫌なことがあった？ → No
５．眠い？ → Yes
６．眠い？ → No

のうち

２．お腹が空いた？ → No
３．嫌なことがあった？ → Yes
６．眠い？ → No

の3パターンが確認できます。



先ほどのテストと合わせて

１．お腹が空いた？ → Yes
２．お腹が空いた？ → No
３．嫌なことがあった？ → Yes
４．嫌なことがあった？ → No
５．眠い？ → Yes
６．眠い？ → No

が、すべて確認できましたね。
これでテストは終わりです。

このような

すべての条件（枝分かれの行き先が変わる要素）を網羅したらテストを終わりにしよう！

なテスト方針が条件網羅です。