テクノロジ系
秋期
基本情報技術者 2013年 秋期 問49
49 / 80
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を 埋め込んで、そのプログラムの正当性を検証する手法はどれか。
正解と解説
表示する
正解 ア
アサーションチェック
アサーションチェックは、プログラム中の特定地点で成り立つべき条件(変数間の関係)を論理式(表明)として埋め込み、実行時にそれが満たされるか検証してプログラムの正当性を確かめる手法です。コード追跡やスナップショットダンプは実行状態の観察、テストカバレッジ分析は網羅率の測定であり、表明による検証ではありません。