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

静的コード解析【午前解説】

正解の理由

解法ステップ

1. 問題文の「静的テストツール」の定義を確認する（実行せずに解析するツール）。
2. 各選択肢の動詞に注目する（「解析して」＝静的、「生成する／実行した経路から算出」＝動的）。
3. 静的解析の代表的な作業（文法チェック、型チェック、デッドコード検出、セキュリティルール検査）と照らし合わせ、一致するものを選ぶ。

選択肢別の誤答解説

• ア: ソースコードを解析して、プログラムの誤りを検出する。
  正解。静的解析ツールの代表的機能であり、実行を伴わずコードを解析して問題点を報告します。
• イ: テスト対象モジュールに必要なドライバ又はスタブを生成する。
  誤り。ドライバ／スタブ生成はテスト環境（ハーネス）構築で、主に動的テストの実行支援に属します。
• ウ: テストによって実行した経路から網羅度を算出する。
  誤り。網羅度（カバレッジ）は実際にテストを実行して得られる実行情報に基づくため、動的解析／計測です。
• エ: プログラムの特定の経路をテストするためのデータを生成する。
  誤り。テストデータ生成は通常、動的実行や動的解析を前提とすることが多く、問題文の静的ツール定義とは区別されます（シンボリック実行など静的技法もあるが、本問の意図は動的データ生成を指します）。

よくある誤解

• シンボリック実行や形式手法で「テストデータを生成できるから静的だ」と誤解するケース。これらは静的解析的手法を含みますが、問題文の意図する「テストの実行・検証に使うデータ生成」とは区別されます。
• カバレッジに関して「ソースから算出できるので静的だ」と混同するケース。実際の網羅度算出は実行結果（経路の実行情報）に基づくため動的手法です。
• ドライバやスタブの自動生成を静的ツールの機能と考える誤り。これはテストハーネス作成であり、動的テスト支援の一部です。

補足コラム

FAQ