応用情報に戻る
難易度: 標準2010年度

応用情報技術者 過去問プログラム実行中の特定の時点で成立する変数間の関… 2010年度 第44問

問題

プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで,そのプログラムの正当性を検証する手法はどれか。

選択肢

  1. 1アサーションチェック
  2. 2コード追跡
  3. 3スナップショットダンプ
  4. 4テストカバレッジ分析

正解

1. アサーションチェック

詳しい解説を見る

解説

アサーション(表明)は、プログラムの特定の時点で必ず成立すべき条件を論理式として記述したものである。これを埋め込んで実行時にチェックすることで、想定外の状態を検出しプログラムの正当性を検証できる。スナップショットダンプは指定時点のメモリ内容出力、テストカバレッジ分析は網羅率の測定である。(出典: 平成22年度 秋期 応用情報技術者試験 午前 問44)

一問一答

全400問を繰り返し学習

同じ年度の過去問

この調子で演習を続けよう

スキマ資格では応用情報の全3360問を分野別・難易度別に体系的に学習できます。応用情報技術者試験(AP)は IPA が実施する情報処理技術者試験のレベル3。2026年度からCBT方式へ移行し、科目A(四肢択一80問)・科目B(記述11問中5問選択)の2部構成で、それぞれ基準点以上が必要です。テクノロジ・マネジメント・ストラテジの全分野から出題されます。