未分類
春期
システムアーキテクト 2024年 春期 問6
6 / 25
プログラムに、実行中の特定の時点で成立すべき変数間の関係や条件を記述した論 理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。
正解と解説
表示する
正解 ア
アサーションチェック
アサーションチェックは、プログラム中に特定時点で成立すべき変数間の関係や条件を論理式(表明)として埋め込み、実行時に正当性を検証する手法です。コード追跡、スナップショットダンプ、テストカバレッジ分析はいずれも表明による検証とは異なります。