令和元年度 秋期 午前Ⅱ 問8

✓ これが正解アアサーションチェック

解説

成り立つべき条件の論理式を埋め込んで確かめるのはアサーションチェックです。

設問の手掛かりは、プログラムの特定の時点で成り立つべき変数間の関係や条件を、論理式として埋め込むという点です。この論理式をアサーションと呼び、実行中にその時点へ来たときに式が成り立っているかを調べ、成り立たなければ誤りとして知らせます。プログラムの正当性を、実行しながら条件の形で確かめる手法なので、アサーションチェックが当てはまります。ほかの肢は、実行の経路をたどる、ある時点のメモリの中身を書き出す、テストでどこまで実行したかを測るといった手法で、成り立つべき条件を書き込む点がありません。条件を書いて埋め込む、という特徴でアサーションを見分けてください。

ほかの選択肢はなぜ違うのか

• イコード追跡：コード追跡は、プログラムがどの命令をどの順に実行したかをたどって、処理の流れを確かめる手法です。実行の経路は分かりますが、成り立つべき条件を論理式として埋め込んで正しさを検証するものではありません。
• ウスナップショットダンプ：スナップショットダンプは、プログラム実行中の指定した時点で、メモリやレジスタの内容を書き出す手法です。書き出した値を人が見て調べる手段で、条件の論理式を埋め込んで判定する仕組みではありません。
• エテストカバレッジ分析：テストカバレッジ分析は、テストによってプログラムの命令や分岐がどれだけ実行されたかを測る手法です。テストの網羅の度合いは分かりますが、各時点で変数の関係が正しいかを確かめるものではありません。