プログラム実行中の特定の時点で成立していなければならない変数間の関係や条件を記述した論理式を埋め込んで，その論理式が成立していることを確認することによって，プログラムの処理の正当性を動的に検証する手法はどれか。
- アサーションチェック
- コード追跡
- スナップショットダンプ
- テストカバレッジ分析
解答
ア
解説
ー
- アサーションチェック
ー - コード追跡
ー - スナップショットダンプ
ー - テストカバレッジ分析
ー
参考情報
分野・分類
| 分野 | テクノロジ系 |
| 大分類 | 開発技術 |
| 中分類 | システム開発技術 |
| 小分類 | 実装・構築 |
出題歴
- ES 令和3年度秋期 問22
