応用情報技術者 2010年 秋期 午前2 問44

プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証する手法【午前2 解説】

要点まとめ

• 結論：プログラムの特定時点での条件を論理式で記述し正当性を検証する手法はアサーションチェックです。
• 根拠：アサーションはプログラム中に条件式を埋め込み、実行時に条件が成立しなければ異常を検知します。
• 差がつくポイント：アサーションはデバッグや品質保証に有効で、コード追跡やテストカバレッジとは目的や手法が異なります。

正解の理由

よくある誤解

解法ステップ

1. 問題文の「特定の時点で成立する変数間の関係や条件を記述」と「正当性を検証する手法」に注目する。
2. 各選択肢の意味を確認し、条件式を埋め込む手法かどうかを判断する。
3. アサーションチェックは条件式をプログラムに埋め込み、実行時に検証する手法であると理解する。
4. 他の選択肢は目的や手法が異なるため除外する。
5. よって正解はアと判断する。

選択肢別の誤答解説

• イ: コード追跡はプログラムの実行経路や変数の変化を追う手法で、条件式を埋め込むものではありません。
• ウ: スナップショットダンプは実行時のメモリや状態を保存するもので、条件検証とは異なります。
• エ: テストカバレッジ分析はテストの網羅率を測る手法で、プログラム内に条件式を埋め込むことはありません。

補足コラム

FAQ