ソフトウェア構築 (全33問中17問目)
No.17
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
出典：平成22年秋期 問44
- アサーションチェック
- コード追跡
- スナップショットダンプ
- テストカバレッジ分析
- [出題歴]
- 基本情報技術者 H25秋期 問49
分類
テクノロジ系 » システム開発技術 » ソフトウェア構築
正解
ア
解説
プログラムの実行中に、使用されている変数の間で論理的に成り立つ条件を「アサーション(Assertion)」といいます。アサーションチェックは、この条件をプログラムの適切な箇所に挿入し、実行時にその部分のアサーションが成立しているかを検査することで、プログラムの正当性を検証する手法です。
- 正しい。
- 命令単位でプログラムを実行し、実行直後のメモリやレジスタの内容などの情報を逐一確認する手法です。コード追跡を可能にするツールにトレーサーがあります。
- プログラム中の特定の命令文が実行されるたびに、その時のメモリやレジスタの内容を出力するテスト支援ツールです。
- プログラムの品質を定量的に把握するために、テストの網羅率(カバレージ)を測定・分析する手法です。