修了試験 2017-01-22実施分 基本情報技術者試験 問49
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで,そのプログラムの正当性を検証する手法はどれか。
正答1
解説
正解はア。 プログラム中の特定時点で成立すべき変数間の関係を論理式として埋め込み,実行時にその成立を検証する手法はアサーションチェックである。まとめて解く
修了試験 2017-01-22実施分を通しで解く(80問)→
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで,そのプログラムの正当性を検証する手法はどれか。
修了試験 2017-01-22実施分を通しで解く(80問)→