基本情報技術者 2017年 秋期 午前（科目A） 問49

ブラックボックステストに関する記述【午前2 解説】

要点まとめ

• 結論→ブラックボックステストは仕様（要求・振る舞い）に基づく入出力検証で、内部の冗長コードや命令網羅率は評価できません。
• 根拠→命令網羅率や分岐網羅などの指標はプログラム内部の実行経路を対象とするホワイトボックスの概念だからです。
• 差がつくポイント→等価クラステストや境界値分析、状態遷移テストで仕様の境界や例外振る舞いを重点的に検証すると得点差が出ます。

正解の理由

よくある誤解

• 「網羅率＝テストの良さ」は誤り：網羅率（命令網羅、分岐網羅など）はホワイトボックスで使う指標で、ブラックボックスのテストケース設計とは別です。
• 「分岐が増えれば必ずブラックボックスのテストケースも急増する」は短絡的：実装上の分岐数と仕様上のテスト観点は一致しない場合があり、仕様から抽出されるテスト数が決まります。
• 「内部構造を見なくても冗長コードは見つかる」は誤り：冗長コードは内部の無駄な命令であり、外部振る舞いに影響しない限りブラックボックスでは分かりません。

解法ステップ

1. 問題文が対象とする「ブラックボックステスト」の定義を頭に置く（外部仕様ベース、内部未参照）。
2. 各選択肢が「内部構造に関する記述」か「外部振る舞いに関する記述」かを判定する。
3. 内部構造（命令網羅、分岐網羅、実行経路など）に関する記述はブラックボックスではなくホワイトボックスに該当するため除外する。
4. 残った選択肢の中で、ブラックボックスの特徴（入力→出力、機能検証）と合致するものを選ぶ。

選択肢別の誤答解説

• ア: テストデータの作成基準として、命令や分岐の網羅率を使用する。
  → 誤り。命令網羅率や分岐網羅はソースコードを前提とするホワイトボックステストの指標で、ブラックボックスでは使用しません。
• イ: 被テストプログラムに冗長なコードがあっても検出できない。
  → 正解。ブラックボックスは外部仕様に基づき入出力を検証するため、内部に存在する冗長コード（実行されない、または振る舞いに影響しないもの）は検出対象になりません。
• ウ: プログラムの内部構造に着目し、必要な部分が実行されたかどうかを検証する。
  → 誤り。これはホワイトボックス（構造的）テストの説明であり、ブラックボックスの定義とは逆です。
• エ: 分岐命令やモジュールの数が増えると、テストデータが急増する。
  → 誤り（問題文の要求に対して不適切）。分岐やモジュールの増加は実装複雑度を高めホワイトボックスでの網羅テストケース増加を招くが、ブラックボックスでは仕様の複雑さに依存するため一概に言えません。

補足コラム

FAQ