情報処理安全確保支援士試験の公開問題
2010 秋 午前I 問15
このページはIPA Advancedが運営する非公式の学習用ページです。IPAとの提携・公認を示すものではありません。
この問題は内容確認中のため、検索エンジンには公開していません。
問題文
プログラム実行中の特定の時点で成立する変数問の関係や条件を記述した論理式を埋め込んで、 そのプログラムの正当性を検証する手法はどれか。
選択肢
- ア: アサーションチェック
- イ: コード追跡
- ウ: スナップショットダンプ
- エ: テストカバレッジ分析
解説の要点
IPA 公式公開の過去問です。
解答例や採点講評と合わせて根拠を確認してください。
関連する問題一覧
公式出典
訂正・編集方針
解説にはAIによる補助生成を含む場合があります。公式の問題冊子・解答例・採点講評を優先し、誤りは確認後に訂正します。