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

ホワイトボックステスト【午前解説】

正解の理由

解法ステップ

1. 問題文のキーワードを確認：「ホワイトボックステスト＝内部構造」。
2. 各選択肢が「内部」「外部（仕様）」「入出力」「同値分割」に該当するかを判定。
3. 内部構造に基づく説明を含む選択肢を選ぶ。外部仕様や入出力説明は除外する。
4. 迷ったら「同値分割」「境界値」はブラックボックスの代表技法であることを思い出す。

選択肢別の誤答解説

• ア: 「外部仕様に基づいてテストデータを作成する。」→ ブラックボックステストの説明であり誤り。
• イ: 「同値分割の技法を使用してテストデータを作成する。」→ 同値分割はブラックボックス技法でホワイトボックスの定義とは異なります。
• ウ: 「内部構造に基づいてテストデータを作成する。」 → 正解。コードや制御フローを参照してテストを設計します。
• エ: 「入力と出力の関係からテストデータを作成する。」→ これもブラックボックス的説明であり誤り（入出力は外部仕様中心）。

よくある誤解

• 同値分割＝ホワイトボックスと思う誤解：同値分割は外部仕様（入力のカテゴリー）を基にするブラックボックス技法です。
• ホワイトボックスは単にユニットテストだけの話と思う誤解：ユニットテストで多く使われますが，統合テストやセキュリティ診断でも内部視点は有効です。
• 入力と出力の関係のみでホワイトボックスを判断する誤解：入力/出力重視はブラックボックスの観点であり，内部ロジック検査とは別です。

補足コラム

• ステートメント網羅（statement coverage）：すべての文を少なくとも一度実行する。
• 分岐網羅（branch coverage）：すべての分岐（true/false）を両方実行する。
• 条件網羅（condition coverage）や決定条件網羅（MC/DC）など複合的な基準。

def classify(x):
    if x > 0:
        return "pos"
    elif x < 0:
        return "neg"
    else:
        return "zero"

FAQ