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

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

平成25年度秋季問題

問題49

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

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

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

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

解答：ア

＜解説＞