平成21年度秋期 応用情報技術者試験 午前 問46

正解：ア

AI解説

アサーションチェッカは、プログラム中の変数間で論理的に成立すべき条件（アサーション）を検査するコードを挿入し、実行時にその条件が満たされているかを確認できるようにする支援ツールである。 ア: 正しい。アサーションチェッカは、変数間の論理条件を検査するコードをプログラムに挿入し、実行時にその成立状況を確認できるようにするツールである。 イ: 誤り。コードオーディタは、コーディング規約や標準への準拠状況を静的に検査するツールであり、実行時の論理条件検査とは異なる。 ウ: 誤り。テストカバレージモニタは、テスト実行時にどの命令や分岐が実行されたか（網羅率）を測定するツールであり、論理条件の充足検査とは目的が異なる。 エ: 誤り。トレーサは、プログラムの実行経路や変数の変化などを記録・追跡するツールであり、論理条件の検査そのものを目的とするものではない。 💡 アサーション（表明）は「本来こうあるべき」という条件をコードに埋め込み実行時に検証する仕組み。デバッグ支援ツールの中でも「論理条件の検証」に特化している点で他ツールと区別する。