問題
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
選択肢
- 1アサーションチェック
- 2コード追跡
- 3スナップショットダンプ
- 4テストカバレッジ分析
正解
1. アサーションチェック
詳しい解説を見る解説を閉じる
解説
アサーションチェックは、プログラムの特定の時点で成立すべき条件（表明＝アサーション）を論理式として埋め込み、実行時にその条件が満たされているかを検証する手法です。条件が成立しなければ異常を検出できます。スナップショットダンプは指定時点のメモリ内容の出力、テストカバレッジ分析は網羅率の測定です。（出典: 平成25年度 秋期 基本情報技術者試験 午前 問49）
一問一答
科目A 180問+科目B 60問