単一の入り口をもち、入力項目を用いた複数の判断を含むプログラムのテストケースを設計する。命令網羅と判定条件網羅の関係のうち、適切なものはどれか。

選択肢

• ア判定条件網羅を満足しても、命令網羅を満足しない場合がある。
• イ判定条件網羅を満足するならば、命令網羅も満足する。
• ウ命令網羅を満足しなくても、判定条件網羅を満足する場合がある。
• エ命令網羅を満足するならば、判定条件網羅も満足する。

正解と解説

正解：イ 判定条件網羅を満足するならば、命令網羅も満足する。

判定条件網羅（分岐網羅）は、各判定の真と偽の両方を通るテストを用意する基準である。分岐の両側を通れば、その分岐に属する命令はすべて実行されるので、判定条件網羅を満たせば命令網羅も自動的に満たされる。逆は成り立たず、命令をすべて通っても偽側の分岐を通っていない場合があるため、判定条件網羅のほうが強い基準である。

選択肢ごとの解説

• ア判定条件網羅は命令網羅を包含するので、この状況は起こらない。
• イ正解。分岐の真偽双方を通れば全命令が実行されるため、命令網羅も満たされる。
• ウ判定条件網羅を満たせば命令網羅も満たされるので、この組合せは成立しない。
• エ命令網羅は弱い基準で、偽側の分岐を通らずに満たせるため判定条件網羅は保証されない。

この問題に出た用語

• テストカバレッジ（命令網羅・分岐網羅・条件網羅）
• テストケース（テストデータと予想結果）

同じ分野の他の問題

• モジュールの内部構造を考慮することなく、仕様書どおりに機能するかどうかをテストする手法はどれか。2022年度 公開問題 科目A 問40
• ソフトウェアのテストツールの説明のうち、静的テストを支援する静的解析ツールのものはどれか。2019年度 春期 午前 問48
• ブラックボックステストに関する記述として、最も適切なものはどれか。2019年度 春期 午前 問47
• プログラムの流れ図で示される部分に関するテストデータを、判定条件網羅（decision coverage）によって設定し…2018年度 春期 午前 問49
• ブラックボックステストのテストデータの作成方法のうち、最も適切なものはどれか。2018年度 春期 午前 問48