平成25年度 秋期 基本情報技術者試験 問49

プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。

まとめて解く

平成25年度 秋期を通しで解く（80問）→

この回の他の問題

平成25年度 秋期 基本情報技術者試験 の全80問を見る →