必ず受かる情報処理技術者試験

当サイトは、情報処理技術者試験に合格するためのWebサイトです。
ITパスポート試験，基本情報技術者,応用情報技術者,高度試験の過去問題と解答及び詳細な解説を掲載しています。
  1. トップページ
  2. 応用情報技術者
  3. 平成22年度秋季問題一覧
  4. 平成22年度秋季問題44-解答・解説-分析

平成22年度秋季問題

問題44

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

ア アサーションチェック
イ コード追跡
ウ スナップショットダンプ
エ テストカバレッジ分析

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

ア アサーションチェック
イ コード追跡
ウ スナップショットダンプ
エ テストカバレッジ分析

解答：ア

＜解説＞

ア ○ アサーションチェックは、変数の間で論理的に成立するような条件をプログラムに埋め込み、実行時にその条件を満たしていることを検証するツールである。
イ × コード追跡は、プログラムのソースコードを順を追って追跡して誤りを見つける手法である。
ウ × スナップショットダンプは、プログラム中に埋め込んだデバッグ用のコードを実行するたびに、メモリやレジスタの内容を書き出す。
エ × テストカバレッジ分析は、テスト網羅率を確認するための手法である。

分類

キーワード