2010 秋 午前I 問15
プログラム実行中の特定の時点で成立する変数問の関係や条件を記述した論理式を埋め込んで、 そのプログラムの正当性を検証する手法はどれか。
解説
IPA 公式公開の過去問です。
解答例や採点講評と合わせて根拠を確認してください。
選択肢
- ア: アサーションチェック
- イ: コード追跡
- ウ: スナップショットダンプ
- エ: テストカバレッジ分析
プログラム実行中の特定の時点で成立する変数問の関係や条件を記述した論理式を埋め込んで、 そのプログラムの正当性を検証する手法はどれか。
IPA 公式公開の過去問です。
解答例や採点講評と合わせて根拠を確認してください。