令和4年度春期 ITストラテジスト 午前Ⅰ 問16

テスト観点を整理するための確認軸

判定を検討するときは、条件の組み合わせを機械的に数える前に、何を一つの確認単位として扱うかを整理し、各条件の扱いが同じ基準になっているかを丁寧に見直しましょう。

この問題で問われていること

この問題では、個々の条件をどの粒度で捉え、条件同士の関係をどのように整理しているかという一点に絞り、提示された説明の前提が一貫して適切なものかを確認してください。

視点

テストケースを考える際は、対象となる条件を同じ粒度で区切り、条件間の関係と確認対象の範囲を整理することが重要です。個別の数え方ではなく、整理の前提が一貫しているかに注目します。

確認ポイント

• 条件を分ける単位が、全体で同じ基準になっているか。
• 条件同士の関係を、独立したものとして扱っていないか確認する。
• 確認対象の範囲が、途中で変わっていないかを見直す。

正解

イ

解説

最初の判定と次の判定について、YesとNoの全分岐を実行できる入力を確認します。A＝1，B＝0では両方がYes側になり、A＝1，B＝1では両方がNo側になるため、2ケースで分岐網羅を満たします。

理由

初期値はC＝1です。A＝1，B＝0の場合、最初の判定はYesとなり、A×C→CによってC＝1のままなので、次の判定もYesになります。一方、A＝1，B＝1の場合、最初の判定はNoとなり、2→CでC＝2になるため、次の判定もNoになります。これで二つの判定のYes／Noをすべて実行できます。

比較

判定条件網羅で必要なのは、各判定の分岐を少なくとも一度ずつ通ることです。3ケースある組合せは分岐を確認できますが、同じ経路を重ねており最少ではありません。Aが0のケースだけでは、最初の判定がNo側となり、次の判定もYes側へ進めません。

選択肢ア

これは不正解だよ。A＝0，B＝0では最初の判定がNoとなり、2→CによってC＝2になります。そのため次の判定もNoとなり、二つの判定でYes側の分岐を実行できません。A＝1，B＝1も同じく最初と次がNo側なので、必要な分岐をすべて網羅できない組合せです。

選択肢イ（正解）

これは正解だよ。A＝1，B＝0では最初の判定がYes、A×C→Cの後もC＝1なので次の判定もYesになります。A＝1，B＝1では最初の判定がNo、C＝2となって次の判定もNoになります。二つの判定のYes／Noを2ケースで実行でき、最少です。

選択肢ウ

これは不正解だよ。A＝0，B＝0では二つの判定がNo側、A＝1，B＝1でも二つの判定がNo側になります。A＝1，B＝0を加えることでYes側も確認できますが、最初の二つのケースの経路が重複しており、分岐網羅に必要な最少ケース数を超えています。

選択肢エ

これは不正解だよ。A＝0，B＝0とA＝0，B＝1は、どちらも最初の判定がNoとなり、2→Cの後に次の判定もNoとなる同じ経路です。A＝1，B＝0でYes側は確認できますが、同じNo経路を重ねているため、3ケースとなり最少ではありません。

学習のポイント

判定ごとのYes／Noと、途中で更新されるCの値を対応させて追跡する。