テクノロジ系
秋期
応用情報技術者 2010年 秋期 問44
44 / 80
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を 埋め込んで、そのプログラムの正当性を検証する手法はどれか。
正解と解説
表示する
正解 ア
アサーションチェック
アサーションチェックは、プログラムの特定時点で成立すべき変数間の関係や条件を論理式(表明)として埋め込み、それが成り立つかで正当性を検証する手法です。コード追跡・スナップショットダンプ・テストカバレッジ分析は、それぞれ別のデバッグ・評価技法です。