問48応用情報技術者 平成29年度 春期

解説

正解は4。判定は二つで、判定1は「x≧1 or y＝1」、判定2は「y＞1」。分岐網羅は各判定のYesとNoを両方通すこと、条件網羅は個々の条件（x≧1、y＝1、y＞1）にそれぞれ真と偽を与えること。エを調べると、(1,2)はx≧1が真・y＝1が偽で判定1はYes、y＞1は真。(0,1)はx≧1が偽・y＝1が真で判定1はYes、y＞1は偽。(0,2)は両方偽で判定1はNo、y＞1は真。判定も条件もすべて真偽がそろう。

• 1のアは、2件とも判定1がYesになり、Noを通らない。y＝1も一度も真にならない。
• 2のイは、(1,2)と(0,0)で両判定のYes・Noは通るが、y＝1が一度も真にならず条件網羅を満たさない。
• 3のウは、3件とも判定1がYesで、Noを通らないので分岐網羅を満たさない。

根拠：ホワイトボックステストの網羅基準（分岐網羅・条件網羅）。