「判定条件網羅」と「分岐網羅」の違い

それぞれの用語の意味

用語	意味
判定条件網羅	「処理が枝分かれしたときの行き先を全部1回は確認するぜ！」になるようにテストを設定すること
分岐網羅	「処理が枝分かれしたときの行き先を全部1回は確認するぜ！」になるようにテストを設定すること

似ているところ

実質的に同じです。
どちらも「すべての枝分かれの行き先を確認できたらOK！」なテスト方針です。

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

ピヨ太プログラムは

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

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

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

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

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

ピヨ太プログラムにおける枝分かれの行き先（分岐）は

１．ケーキを食べる
２．ケーキを食べない

の2つです。

すべての枝分かれの行き先（分岐）を最低1回は確認するのが判定条件網羅であり分岐網羅です。
具体的には

１．ケーキを食べる
２．ケーキを食べない

の2パターンを確認できるように条件を設定してテストをやります。

違うところ

「判定条件」と「分岐」の違いです。
誰かに聞いたわけではありませんが、厳密に考えれば、用語の意味は違うと思います。

先ほど

１．ケーキを食べる
２．ケーキを食べない

の2パターンを確認できるように条件を設定してテストをやるのが判定条件網羅であり分岐網羅だと説明しました。

実は、この「2パターン」は2通りの解釈ができます。
それは

１．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定結果が「そうだよ！」の流れ
２．「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定結果が「違うよ！」の流れ

の「2パターン」と

１．「ケーキを食べる」処理に入る流れ
２．「ケーキを食べない」処理に入る流れ

の「2パターン」です。

どっちと解釈しても、実際に起きることは同じですけどね。
細かく見ると

「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定結果が「そうだよ！」か「違うよ！」に枝分かれ

することにより

「ケーキを食べる」か「ケーキを食べない」に処理が枝分かれ

します。

この話における

「(お腹が空いた？ == Yes) or (嫌なことがあった？ == Yes)」の判定結果が「そうだよ！」か「違うよ！」に枝分かれ

に注目してテストをやるのが判定条件網羅です。