プログラム実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。
選択肢
- アアサーションチェック
- イコード追跡
- ウスナップショットダンプ
- エテストカバレッジ分析
正解と解説
正解：ア アサーションチェック
アサーションチェックは、プログラム中の特定の地点で成立しているはずの条件を表明（assertion）として埋め込み、実行時にそれが崩れていないかを検査する手法である。前提条件・事後条件・不変条件を明示することで、想定と実際の食い違いを早期に検出できる。
選択肢ごとの解説
- ア正しい。成立すべき条件を論理式として埋め込み検証するのがアサーションチェックである。
- イコード追跡は実行経路を逐次たどって挙動を確認するデバッグ手法である。
- ウスナップショットダンプは特定時点のメモリ内容を出力して調べる手法である。
- エテストカバレッジ分析はテストがコードのどれだけを実行したかを測る手法である。
この問題に出た用語
同じ分野の他の問題
- プログラムに、実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証…2024年度 春期 午前Ⅱ 問6
- プログラムPをテストケースの集合であるテストセットTでテストし，テスト結果が全て想定結果と一致することを確認した。そのテ…2025年度 春期 午前Ⅱ 問7
- プログラム中にエラーが存在するかどうかなどを，ソースプログラムを分析することによって調べるテストツールはどれか。2025年度 春期 午前Ⅱ 問6
- JIS X 0160:2021（ソフトウェアライフサイクルプロセス）によれば、ソフトウェアライフサイクルプロセスにおいて…2023年度 春期 午前Ⅱ 問11
- ある通信販売事業者は、AI技術を利用して人間のように受け答えする、Webのチャットをインタフェースとしたユーザーサポート…2023年度 春期 午前Ⅱ 問7
出典・参考
最終更新：2026-10-06／解説・選択肢ごとの解説は資格暗記が独自に作成しています。問題文と選択肢の出典は上記のとおりです。