プログラム実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
- アサーションチェック
- コード追跡
- スナップショットダンプ
- テストカバレッジ分析
解答
ア
解説
- アサーションチェック
正しいです。
アサーションチェックの説明です。 - コード追跡
コード追跡（トレース）は、プログラムの命令実行の履歴を記録し、実行中や実行後にチェックするものです。 - スナップショットダンプ
スナップショットダンプは、プログラム実行のある時点におけるメモリやレジスタの内容を保管するものです。 - テストカバレッジ分析
テストカバレッジ分析は、テストの実施状況を分析するもので、命令の実行回数や網羅率などをチェックします。
参考情報
分野・分類
| 分野 | テクノロジ系 |
| 大分類 | 開発技術 |
| 中分類 | システム開発技術 |
| 小分類 | 実装・構築 |
出題歴
- SA 令和元年度秋期 問8
