令和元年度 秋期 システムアーキテクト試験 午前Ⅱ 問8

解説

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

選択肢ごとの解説

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