基本情報技術者試験 ap-2017h29h-a 午前 問48: 流れ図において，分岐網羅を満たし，かつ，条件網羅を満たすテストデータの組みはどれか。

問題本文

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

選択肢

• ア.x=2, y=2 と x=1, y=2 の2組
• イ.x=1, y=2 と x=0, y=0 の2組
• ウ.x=1, y=2 と x=1, y=1 と x=0, y=1 の3組
• エ.x=1, y=2 と x=0, y=1 と x=0, y=2 の3組

正解

エ. x=1, y=2 と x=0, y=1 と x=0, y=2 の3組

解説

流れ図には1番目の判定「x≧1 or y=1」と2番目の判定「y1」がある。分岐網羅は各判定の Yes/No 両方を通ること，条件網羅は判定を構成する個々の条件(ここでは「x≧1」「y=1」「y1」)を真・偽の両方とも成立させることを要求する。選択肢エの3組(x=1·y=2／x=0·y=1／x=0·y=2)では，「x≧1」が真(x=1)と偽(x=0)，「y=1」が真(y=1)と偽(y=2)，「y1」が真(y=2)と偽(y=1)とすべて両方が現れ，かつ各判定の Yes/No も両方通るため，分岐網羅と条件網羅を同時に満たす。よって正解はエである。

選択肢ごとの解説

• ア.誤り。x=2·y=2 と x=1·y=2 では「x≧1」が常に真(2と1)で偽にならず，1番目の判定も常に Yes になる。条件網羅も分岐網羅も満たさない。
• イ.誤り。x=1·y=2 と x=0·y=0 では「y=1」が真になるケースがない(2と0)。条件「y=1」を真にできず条件網羅を満たさない。
• ウ.誤り。x=1·y=2／x=1·y=1／x=0·y=1 では1番目の判定「x≧1 or y=1」が3組すべてで真(Yes)になり，No に分岐するケースがない。1番目の判定の分岐網羅を満たさない。
• エ.正しい。3組で各条件 x≧1・y=1・y1 がいずれも真偽両方現れ，さらに x=0·y=2 の組が1番目の判定を No にするため，両判定の Yes/No も網羅でき，分岐網羅と条件網羅を同時に満たす。