令和6年度 春期 午前Ⅱ 問6

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

解説

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

アサーションは、プログラムのある時点で必ず成り立っているはずの変数間の関係や条件を表明したものです。アサーションチェックでは、この条件を論理式としてプログラムに埋め込んでおき、実行中にその地点を通るたびに式を評価します。式が偽になれば、想定と違う状態に陥ったことがその場で分かるので、プログラムの正当性を確かめる手がかりになります。設問の、成立すべき関係を論理式で埋め込むという記述が、そのまま定義に重なります。ほかの選択肢は、実行の道筋や記憶内容を記録したり、テストの網羅度を測ったりする手法で、条件を表明して確かめるものではありません。表明して確かめる、と覚えておくと区別できます。

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

• イコード追跡：コード追跡は、実行された命令や経路を順に記録して、処理がどこを通ったかを確認するデバッグの手法です。通った道筋は分かりますが、成り立つべき条件を論理式で埋め込んで確かめるものではありません。
• ウスナップショットダンプ：スナップショットダンプは、実行中の指定した時点で記憶領域などの内容を書き出す手法です。その瞬間の値を残すだけで、値どうしの関係が正しいかを式で判定する仕組みは含みません。
• エテストカバレッジ分析：テストカバレッジ分析は、テストによって命令や分岐などがどれだけ実行されたかという網羅の度合いを測る手法です。テストの十分さを見るもので、プログラム中に条件を埋め込んで正当性を確かめるものではありません。