平成27年度 春期 午前 問50
システム開発技術
ホワイトボックステストの問題
図の構造をもつプログラムに対して，ホワイトボックステストのテストケースを設計するとき，少なくとも実施しなければならないテストケース数が最大になるテスト技法はどれか。
図（書き起こし）: 流れ図（絵）。矢印を追って書き起こした構造は次のとおり。
上から1本の線が【ひし形の判定】へ入る。判定の中の逐語は「A ＞ 0 かつ B ＝ 1」。 ・右へ出る枝に「真」… 【長方形】X ← X ＋ 1 を通って下へ回り込み，合流点へ ・下へ出る枝に「偽」… そのまま合流点へ 合流したあと1本の矢印が下へ抜ける。
- ア条件網羅
- イ判定条件網羅
- ウ複数条件網羅
- エ命令網羅
答えと解説を見る
✓ これが正解ウ複数条件網羅
解説
条件式の真偽の全組合せを試す網羅が最多です。
ホワイトボックステストの網羅基準は、何を最小の単位として全部通すかで区別されます。命令の並びを一通り実行できれば足りるのか、判定の枝を真と偽の両方に通せば足りるのか、判定の中身にある一つ一つの条件式を真と偽に通せば足りるのか、その条件式の真偽のすべての組合せに通す必要があるのか、という順で最小の単位が細かくなり、必要なテストケースの数も増えていきます。設問の判定にはかつという結合子で結ばれた二つの条件式が含まれています。この結合子を含む形では、条件式ごとの真偽の全組合せを試す基準が最も細かく、テストケース数が最大になります。
ほかの選択肢はなぜ違うのか
- ア条件網羅：条件網羅は、判定の中身にある一つ一つの条件式を真と偽の両方に通せば足りるとする基準です。個々の条件式を両方の値にする最小の組合せで済むため、条件式どうしの真偽の組合せを全部試す基準よりケース数は少なくなります。
- イ判定条件網羅：判定条件網羅は、判定全体の結果を真と偽の両方に通せば足りるとする基準です。判定の外側の真偽が両方出ればよいので、内部の二つの条件式を全組合せに通す基準よりも必要なケース数が少なく済みます。
- エ命令網羅：命令網羅は、流れ図の中の命令をどれも1回は実行できればよいとする基準です。設問の流れ図では、代入命令を通せば残りは通せてしまうため、真偽の組合せを詰めていく基準に比べて必要なケース数が最も少なくなります。
この問題の用語
- ホワイトボックステストプログラムの中身を見ながら、内部の通り道を確かめる検査です。中身を見ずに入出力だけで確かめるやり方とは、対になります。
- テストケース何をどう試して、どうなれば合格かを一つずつ決めたものです。入力する値や操作の手順と、期待する結果を組にして書きます。
出典：平成27年度 春期 基本情報技術者試験 午前 問50（改変：原典の図表をテキストに書き起こした）
同じ用語が出る問題
- 令和元年度 秋期 午前 問58（テストケース）
- 令和元年度 秋期 午前 問49：命令網羅と判定条件網羅の関係（テストケース）
- 平成25年度 春期 午前 問22：ホワイトボックステストの問題（ホワイトボックステスト）
- 平成23年度 秋期 午前 問47：モジュールに関する問題（ホワイトボックステスト）
- 平成23年度 特別 午前 問49：ホワイトボックステストの説明（ホワイトボックステスト）
この解説に誤りを見つけたら教えてください。直して、直した記録を残します。誤りを報告する（メールが開きます）