平成29年度 春期 応用情報技術者試験 午前 問48
テクノロジ／開発技術流れ図において，分岐網羅を満たし，かつ，条件網羅を満たすテストデータの組みはどれか。ここで，流れ図は次のとおりである。 開始 a←0，b←0 もし（x≧1 or y＝1）ならば a←1 もし（y＞1）ならば b←1 終了 （各選択肢はテストデータ(x,y)の組を示す） （注：本サイトでは原問題の表を文字表記に変換しています）
出典：平成29年度 春期 応用情報技術者試験 午前 問48
- ア(x,y)＝(2,2)，(1,2)
- イ(x,y)＝(1,2)，(0,0)
- ウ(x,y)＝(1,2)，(1,1)，(0,1)
- エ(x,y)＝(1,2)，(0,1)，(0,2)
正解：エ
解説
分岐網羅は各判定でYes・Noの両方を，条件網羅は各条件（x≧1，y＝1，y＞1）の真・偽の両方を，テストデータ全体で少なくとも一度ずつ通ることを要求します。エの(1,2)，(0,1)，(0,2)を評価すると，判定1はYes・Yes・Noと両方が現れ，判定2もYes・No・Yesと両方が現れて分岐網羅を満たします。さらにx≧1はT・F・F，y＝1はF・T・F，y＞1はT・F・Tとなり，いずれの条件も真偽両方が現れるため条件網羅も満たします。
選択肢ごとの解説
- ア誤り。(2,2)，(1,2)はいずれも判定1・判定2ともにYesにしかならず，Noの分岐が一度も通らないため分岐網羅を満たしません。
- イ誤り。(1,2)，(0,0)は判定1・判定2の分岐は網羅しますが，条件y＝1が一度も真にならないため条件網羅を満たしません。
- ウ誤り。(1,2)，(1,1)，(0,1)はいずれも判定1がYesにしかならず，判定1のNoの分岐が一度も通らないため分岐網羅を満たしません。
- エ正しい。(1,2)，(0,1)，(0,2)は各判定のYes・No，各条件の真・偽をすべて少なくとも一度は満たし，分岐網羅と条件網羅の両方を満たします。