平成22年度 秋期 応用情報技術者試験 午前 問44

• ア: アサーションチェック
  正しい。アサーションチェックは，プログラム中の特定の箇所で成立すべき条件（表明）を論理式として埋め込み，実行時にその条件が満たされているかを検査して正当性を検証する手法です。

• イ: コード追跡
  誤り。プログラムの実行経路（命令の実行順序）を追跡・記録して確認する手法です。

• ウ: スナップショットダンプ
  誤り。プログラム実行中の指定した時点で，主記憶やレジスタの内容を出力する手法です。

• エ: テストカバレッジ分析
  誤り。テストによってプログラムの命令や分岐がどの程度実行されたか（網羅率）を分析する手法です。

答え

ア: アサーションチェック