重複するテスト手順を排除し、最小限のステップでカバレッジを達成する手法はどれか。

テスト実行中にモデルの状態が実システムと同期していることを確認しやすくする性質を何と呼ぶか。