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

解説

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

選択肢ごとの解説

• ア正しい。アサーションチェックは，特定の時点で成立する条件を論理式として埋め込み，実行時に検証することでプログラムの正当性を確認する手法です。
• イ誤り。コード追跡は，プログラムの実行経路や処理内容を人手や自動化ツールで追跡して確認するレビュー技法です。
• ウ誤り。スナップショットダンプは，指定した時点でのメモリやレジスタの内容を出力して確認するデバッグ手法です。
• エ誤り。テストカバレッジ分析は，テストによってプログラムのコードやパスがどの程度網羅されたかを分析する手法です。