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