プログラム実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。ア アサーションチェック イ コード追跡 ウ スナップショットダンプ エ テストカバレッジ分析 答:ア 例えばJava…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。