プログラムに，実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで，そのプログラムの正当性を検証する手法はどれか。
- アサーションチェック
- コード追跡
- スナップショットダンプ
- テストカバレッジ分析
解答
ア
解説
ー
- アサーションチェック
ー - コード追跡
ー - スナップショットダンプ
ー - テストカバレッジ分析
ー
参考情報
分野・分類
| 分野 | テクノロジ系 |
| 大分類 | 開発技術 |
| 中分類 | システム開発技術 |
| 小分類 | 実装・構築 |
出題歴
- SA 令和6年度春期 問6
- FE 平成25年度秋期 問49
- AP 平成22年度秋期 問44
