基本情報 科目A｜テスト用語を覚えたのに選べない。公式4題の「何を確かめるか」判定票

「ブラックボックス」「静的解析」「スタブ」「網羅」。意味は読んだはずなのに、選択肢では違うものを選んでしまう。

そのときは、名前を思い出す前に、主語と観測対象を書きます。仕様を見ているのか。ソースコードを解析するのか。対象を呼ぶのか、対象から呼ばれるのか。命令を通したのか、判定の真偽を通したのか。

本稿は公式4題を使い、16選択肢をその違いから整理する小さな練習帳です。正答4個の暗記ではなく、誤った説明をどの条件で退けるかまで埋めます。

扱う問題と、購入前に分かること

• 2019年春・基本情報 午前 問47：ブラックボックスで分かること

• 同 問48：静的解析ツールが調べるもの

• 2019年秋・基本情報 午前 問48：スタブとドライバの向き

• 同 問49：命令網羅と判定条件網羅の関係

いずれも旧午前問題を、現在の科目Aに向けた基礎練習として扱います。本試験の出題率や得点の予測ではありません。

原問は2019年春の問題PDF・冊子21ページと2019年秋の問題PDF・冊子25ページを開いてください。原文の全転載はせず、以下は選択肢の要約と筆者の解説です。

全体で主要完成票4枚、16選択肢の判定、呼出し図2枚、網羅を確かめる筆者作成の小コード2例、誤読からの修正6組、空欄票を収録します。無料では問47と修正2組を完成まで読めます。有料は残り3題・修正4組と反例、繰り返し使う記入欄です。補助コードは公式問題ではなく、実際の受験者答案や公式配点も収録していません。

既存記事を読んだ方へ

「公開80問0問でも学ぶ境界値3点」では、ブラックボックスとホワイトボックス、同値・境界値、命令や条件の網羅を説明しています。「何を根拠にテストを選ぶか」という手順は本稿と共通です。これを新しい手法として数えてはいません。

本稿の追加部分は、別の公式4題の全16選択肢を判定した完成票、静的解析と実行結果の切り分け、スタブ/ドライバの呼出し方向、具体的なテスト集合による網羅関係の確認です。既存記事が扱う2025年6月修了認定問37、2013年秋午後問5、2019年秋午後問5は採用していません。用語の整理だけで足りる方、公式正答から自力で反例を作れる方は、追加購入を急ぐ必要はありません。

無料見本：問47　入出力が合っても、内部の余分な処理は分からない

2019年春の問47です。正答はイ。ただし「ブラックボックスでは何も分からない」という意味ではありません。

仕様で「整数xを受け取り、x＋1を返す」と決めた、次の二つを考えます。筆者の説明用コードで、原問にはありません。

処理P：
  return x + 1

処理Q：
  temp ← x + 1
  unused ← x × 2
  return temp

入力と返り値だけを見ると、どちらも同じです。たとえばx＝4なら返り値は5。Qの途中のunusedへの代入が余計だという事実は、入出力が仕様どおりかを調べるだけでは判定できません。

これは実行時間などを含む全ての観測が絶対に同じ、という主張ではありません。この例で固定した観測は「整数入力に対する返り値」です。外部の振る舞いからテストすることと、内部に不要なコードがないと保証することは、確認する対象が違います。

完成票1：問47の4選択肢

選択肢：ア
説明が見ているもの（要約）：命令や分岐の通過率を、データ選びの基準にする
判定する理由：内部構造を基準にしており、ブラックボックスの説明ではない

選択肢：イ
説明が見ているもの（要約）：内部の余分なコードを検出できるか
判定する理由：入出力の確認だけで余分なコードを特定するとはいえない。正答

選択肢：ウ
説明が見ているもの（要約）：内部の必要な部分が実行されたか
判定する理由：内部の通過状況を確認しており、ホワイトボックス側の説明

選択肢：エ
説明が見ているもの（要約）：分岐やモジュールの増加からデータ急増を説明する
判定する理由：内部構造の量を理由にしている。ブラックボックスの特徴を述べた選択肢として採らない

エを「ブラックボックスならテスト数は絶対に増えない」と読み替えないこと。仕様上の条件が増えれば、外から作るテストも増え得ます。ここで退けるのは、内部の分岐数・モジュール数をそのままブラックボックスの説明根拠にすることです。

修正1：内部に分岐があることと、内部を基準に選ぶこと

誤読例：分岐を含むプログラムをテストしているので、ホワイトボックスだ。

修正例：プログラムに分岐があっても、入力を仕様から選び、外部出力を確認するならブラックボックス側。内部の分岐を基準に入力を選んだかどうかを確かめる。

修正2：「動いた」から「余計なコードはない」へ飛ばない

誤読例：全テストで期待した値が返ったので、冗長なコードもない。

修正例：観測した入力と出力では問題が出なかった。内部の冗長性の有無は、コードを調べる作業と区別する。

この2組が、有料部分にも続く書き直し方です。「何となく違う」ではなく、何を確認した結果なのかを書いて選択肢を削ります。