平成25年度 秋期 基本情報技術者試験 午前 問49

解説

アサーションチェックは，プログラムの特定の時点で成立しているべき変数間の関係や条件（アサーション）を論理式としてプログラム中に埋め込んでおき，実行時にその条件が実際に成立しているかを検証することで，プログラムの正当性を確認する手法です。

選択肢ごとの解説

• ア正しい。実行中の特定時点で成立すべき条件を論理式として埋め込み，プログラムの正当性を検証するのがアサーションチェックです。
• イ誤り。コード追跡（トレース）は，プログラムの実行経路や変数の変化を記録・確認する手法であり，論理式を埋め込む手法ではありません。
• ウ誤り。スナップショットダンプは，特定時点でのメモリやレジスタの内容を記録する手法であり，論理式による正当性検証とは異なります。
• エ誤り。テストカバレッジ分析は，テストによってプログラムのどの部分が実行されたかの網羅率を測定する手法であり，論理式の埋め込みとは異なります。