「ソースコードを解析して，プログラムの誤りを検出する。」が設問で示された開発ツールの定義又は条件に合致するため，正解はアです。 「テスト対象モジュールに必要なドライバ又はスタブを生成する。」は，設問で問われている開発ツールの定義，条件又は計算結果と一致しません。 「テストによって実行した経路から網羅度を算出する。」は，設問で問われている開発ツールの定義，条件又は計算結果と一致しません。 「プログラムの特定の経路をテストするためのデータを生成する。」は，設問で問われている開発ツールの定義，条件又は計算結果と一致しません。