システム開発技術
基本情報技術者試験 科目A免除 修了試験 20170122 実施分 問49
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
答えを選ぶ
出典：基本情報技術者試験 科目A免除 修了試験 20170122 実施分 問49（問題文は IPA の公開問題。解説は当サイト作成）
答えと解説を見る
正解：ア
覚える知識
アサーションチェックの定義
アサーションチェックは、プログラム実行中の特定時点で成立すべき条件式を埋め込んで検証する手法である。
この問題で必要なこと
プログラムの特定の時点で成立すべき条件を論理式として埋め込み、正当性を検証する手法がアサーションチェック。
ひっかけ
スナップショットダンプやコード追跡、カバレッジ分析と混同させる。
この知識の出題：本試験系 1 回・免除試験 1 回（公開問題での観測値）