平成25年度 秋期 午前 問49

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

解説

途中に論理式を埋め込んで正当性を検証する手法です。

プログラムの正しさを確かめる手法の名前と、その中身を結び付ける問いです。設問が述べているのは、実行の途中のある地点で成り立っているはずの、変数どうしの関係や条件を論理式の形で書き込み、それが実際に成り立つかどうかをプログラム自身に判定させるやり方です。埋め込む式は、この地点ではこうなっているはずだという書き手の見込みを、そのまま形にしたものだといえます。成り立たなければその場で分かるので、誤りの入り込んだ場所を早くしぼり込めます。これに当たるのがアサーションチェックです。判定の軸は、その手法が条件の成否をプログラム自身に判定させるものかどうかです。

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

• イコード追跡：実行が通った順序を記録して、後からたどれるようにする手法です。どこを通ったかは分かりますが、その地点で条件が成り立っているかどうかを式として判定させる仕組みは含みません。
• ウスナップショットダンプ：ある時点の変数の値を書き出して残す手法です。時点を区切るところは似ていますが、書き出された値が正しいかどうかを判断するのは人であって、プログラムの側ではありません。
• エテストカバレッジ分析：テストがプログラムのどれだけの範囲を通ったのかを測る手法です。試験の網羅の度合いを示すものであり、個々の地点で条件が満たされているかどうかを確かめるものではありません。