問6 / 25
システムアーキテクト 2024年 春期 問6
未分類
春期
プログラムに、実行中の特定の時点で成立すべき変数間の関係や条件を記述した論 理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。
AI のボタンを押すと、問題文と解答を入れたプロンプトをコピーしてから各サービスを開きます。入力欄に自動で入らない場合は貼り付けてください。
プログラムに、実行中の特定の時点で成立すべき変数間の関係や条件を記述した論 理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。