システムの一部に修正を加えたときに，修正部分がほかに悪影響を及ぼさずに正しい結果が得られることを検証するテストはどれか。