正解 エ 次の問題へ

問17 流れ図において、分岐網羅を満たし、かつ、条件網羅を満たすテストデータの組はどれか。。




解説

分岐網羅

 分岐網羅とは、以下の図の赤と青のラインのように、「分岐を網羅するように」テストを行うことです。

 分岐網羅の視点で各選択肢を見てみると以下のようになります。
 選択肢アとウは「分岐を網羅」できていないので、この時点で不正解になります。

条件網羅

 条件網羅とは、以下の図のように、複数の条件を持つ分岐の「条件を網羅するように」テストを行うことです。
この時、以下の図のように OR 条件はいずれかが「真」のパターンと全てが「偽」のパターンを、AND 条件はいずれかが「偽」のパターンと全てが「真」のパターンの試験を行います。
 また、条件網羅のテストを行えば「該当する分岐の分岐網羅」も自動的に満たすことができます。

OR 条件 例:x ≧ 1 or y = 1 or z = 0
いずれかが「真」のパターン (真 or 偽 or 偽)
(偽 or 真 or 偽)
(偽 or 偽 or 真)
すべて「偽」のパターン (偽 or 偽 or 偽)

AND 条件 例:x ≧ 1 and y = 1 and z = 0
いずれかが「偽」のパターン (偽 and 真 and 真)
(偽 and 真 and 真)
(真 and 真 and 偽)
すべて「真」のパターン (真 and 真 and 真)

 問題文のパターンだと以下のように「3パターン」になります。
OR 条件 例:x ≧ 1 or y = 1
いずれかが「真」のパターン (真 or 偽)
(偽 or 真)
すべて「偽」のパターン (偽 or 偽)
 つまり、テストのパターンが2つしかない選択肢アとイはこの時点で不正解です。
また、選択肢ウは分岐網羅が満たされていないので残る選択肢エが自動的に正解になります。
選択肢エが条件網羅を満たしているかぜひ確かめてみてください。