平成29年度春期 応用情報技術者試験 午前 問18

正解：エ

AI解説

正解はエ。ホワイトボックステストは、プログラムの内部構造に着目して行うテストであり、その十分性は「コードのどれだけの部分が実行されたか」を示すカバレージ（網羅率）で測る。テストカバレージ分析ツールは、命令網羅や分岐網羅などの基準でプログラムの実行された部分の割合を測定するツールである。 ア: アサーションチェッカは、プログラム中に埋め込んだ表明（アサーション：ある時点で成立すべき条件）が実行時に満たされているかを検査するツールであり、網羅率の測定は行わない。 イ: シミュレータは実環境を模擬してプログラムの動作を試験するツールであり、実行割合の測定を目的とするものではない。 ウ: 静的コード解析ツールはプログラムを実行せずにソースコードの誤りや規約違反を検出するツールであり、「実行された部分の割合」は測定できない。 エ: 正しい。テストカバレージ分析ツールは、テストで実行されたコードの割合（網羅率）を測定する。 💡 「実行された割合」とあれば動的測定=カバレージ分析ツール一択。静的解析は『実行せずに』調べる点が対義的なひっかけとして頻出。命令網羅・分岐網羅・条件網羅の違いも併せて確認しておくとよい。