システム開発技術
平成25年度 秋期 基本情報技術者試験 午前 問49
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
答えを選ぶ
出典：平成25年度 秋期 基本情報技術者試験 午前 問49（問題文は IPA の公開問題。解説は当サイト作成）
解説に誤りを見つけたら、解説の誤りを報告してください。
答えと解説を見る
正解：ア
覚える知識
アサーションチェックの定義
アサーションとは、プログラム中の特定の点で成立すべき条件を記述した論理式で、その検証を行う手法である。
この問題で必要なこと
アサーションチェックは、プログラム中の特定時点で成立すべき条件式(表明)を埋め込み、実行時に検証する手法である。
ひっかけ
コード追跡、スナップショットダンプ、テストカバレッジ分析との混同。
この知識の出題：本試験系 1 回・免除試験 1 回（公開問題での観測値）。頻出知識ランキング700位（全1,254件中）。