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

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

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



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

以上を踏まえて

条件分岐な処理に対して「全部の枝分かれの行き先が確認できればテストはOKだよね？」なテスト方針

が「分岐網羅」です。
「判定条件網羅」や「C1」と表現されることも あります。
※厳密に考えれば「分岐網羅」と「判定条件網羅」は別の意味の用語です……多分。ただし、やることは同じです。「実質的に同じ」と解釈してください。なお、どうしても違いが気になる方は「「判定条件網羅」と「分岐網羅」の違い」を ご覧ください。

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



ピヨ太プログラムは

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

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



次に

１．眠い

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



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

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

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

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



ここで「処理が枝分かれするところ（分岐）」に注目してください。

ピヨ太プログラムで出てくる分岐は

１．(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)
２．眠い？ == Yes

の2つです。



それぞれの分岐において、判定結果（Yes or No）によって処理が枝分かれします。
枝分かれの行き先は

１．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がYes
２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がNo
３．「眠い？ == Yes」の判定がYes
４．「眠い？ == Yes」の判定がNo

の4つになります。



この4つの行き先を少なくとも1回は確認できるようにテストするのが「分岐網羅」です。

例えば、ピヨ太プログラムを お腹が空いて眠い状態にします。



そうすると、まずピヨ太プログラムはケーキを食べます。
お腹が空いていますからね。



次に、お昼寝をします。
眠いですからね。



これで

１．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がYes
２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がNo
３．「眠い？ == Yes」の判定がYes
４．「眠い？ == Yes」の判定がNo

のうち

１．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がYes
３．「眠い？ == Yes」の判定がYes

が確認できました。



次に、残りの

２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がNo
４．「眠い？ == Yes」の判定がNo

を確認します。

今度は、ピヨ太プログラムを お腹がいっぱいで眠くもない状態にしました。



この状態でピヨ太プログラムを動かすと、ピヨ太プログラムはケーキを食べません。
お腹が空いていませんからね。



お昼寝もしません。
眠くないですからね。



これで

１．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がYes
２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がNo
３．「眠い？ == Yes」の判定がYes
４．「眠い？ == Yes」の判定がNo

のうち

２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がNo
４．「眠い？ == Yes」の判定がNo

が確認できました。



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

１．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がYes
２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定がNo
３．「眠い？ == Yes」の判定がYes
４．「眠い？ == Yes」の判定がNo

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

このような

すべての分岐（枝分かれの行き先）を網羅したらテストを終わりにしよう！

なテスト方針が分岐網羅です。