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