令和4年度 春期 応用情報技術者試験 午前 問47

分岐網羅(判定条件網羅)とは

プログラムの分岐条件に対して、Yes(真)とNo(偽)の両方の結果を少なくとも1回は通るようにするテスト設計方法です。
すべての分岐を網羅することで、条件分岐に関する不具合を見つけやすくなります。

各選択肢の検証

1つ目の分岐条件:
- 条件: A > 0 かつ B = 0
- Yesの場合：A > 0 かつ B = 0
- Noの場合 ：A ≤ 0 または B ≠ 0

2つ目の分岐条件:
- 条件: A > 0 かつ C = 1
- Yesの場合：A > 0 かつ C = 1
- Noの場合 ：A ≤ 0 または C ≠ 1

選択肢の検証

• ア:
• (1) A＝0, B＝0 → No, No

• (2) A＝1, B＝1 → No, No
  どちらのケースでもYesに分岐しないため、判定条件網羅は満たされません。

• イ:

• (1) A＝1, B＝0 → Yes, Yes

• (2) A＝1, B＝1 → No, No
  YesとNoの両方の分岐が網羅されており、最少のテストケースとなります。

• ウ:

• (1) A＝0, B＝0 → No, No
• (2) A＝1, B＝1 → No, No

• (3) A＝1, B＝0 → Yes, Yes
  分岐網羅は満たしていますが、(1)または(2)が冗長であり、最少のテストケースとは言えません。

• エ:

• (1) A＝0, B＝0 → No, No
• (2) A＝0, B＝1 → No, No
• (3) A＝1, B＝0 → Yes, Yes
  分岐網羅は満たしていますが、(1)または(2)が冗長であり、最少のテストケースとは言えません。

答え

イ: (1) A＝1，B＝0　(2) A＝1，B＝1
最少のテストケースで分岐網羅を満たしています。