令和6年度 春期 システムアーキテクト試験 午前Ⅱ 問6
テクノロジシステム開発技術
この問題は2024(R6)春 システムアーキテクト 午前IIに出題されたものです。出題時点の法令・制度に基づく内容のため、現行の内容と一致しない場合があります。
本ページの問題文・選択肢は、原本の体裁を Web 表示用に正規化しています（改行・記号・数式・図表参照の調整）。設問の趣旨および正解に影響する変更は加えていません。
プログラムに，実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
解答・解説を読む
正解: 選択肢ア
正解は ア（アサーションチェック）です。 プログラム開発において、特定の時点で満たされているべき条件（変数間の関係など）をあらかじめ記述し、実行時にその条件を満たしているかを確認してプログラムの正当性を検証する手法を アサーションチェック（assertion check：表明チェック）と呼びます。
各選択肢の解説
- ア：アサーションチェック 正解です。実行中の特定の時点で成立すべき論理式（アサーション）をプログラムに埋め込み検証します。
- イ：コード追跡 プログラムの実行過程を1ステップずつ追跡し、変数の値の変化などを確認してデバッグを行う手法です。
- ウ：スナップショットダンプ プログラム実行中の特定の時点における、メモリやレジスタの内容をそのまま出力（ダンプ）し、エラーの原因などを解析する手法です。
- エ：テストカバレッジ分析 テストにおいて、プログラムのコード全体のうちどれだけの割合が実行されたか（網羅率）を測定・分析する手法です。