4. 주요 Mutator 개요

// 원본
if (score >= 90) { return "A"; }
 
// 변이: >= → >
if (score > 90) { return "A"; }
// score=90일 때 원본은 "A", 변이는 "B" → 경계값 테스트로 탐지

// 원본
if (status == OrderStatus.CONFIRMED) { ... }
 
// 변이: == → !=
if (status != OrderStatus.CONFIRMED) { ... }
// CONFIRMED 상태와 다른 상태 모두에서 동작을 검증해야 탐지 가능

// 원본
double total = price * quantity;
 
// 변이: * → /
double total = price / quantity;
// price=100, quantity=10이면 원본 1000, 변이 10 → 구체적 값 검증으로 탐지

// 원본
for (int i = 0; i < n; i++) {
    count++;
}
 
// 변이: count++ → count--
// n=3이면 원본 count=3, 변이 count=-3 → 결과값 검증으로 탐지

// 원본
public double negate(double x) {
    return -x;
}
 
// 변이: -x → x
// negate(5.0)이면 원본 -5.0, 변이 5.0 → 부호 검증으로 탐지

// 원본
public boolean isPalindrome(String s) {
    return reversed.equals(s);  // true 또는 false
}
 
// 변이: true → false
// "aba"를 입력하면 원본 true, 변이 false → assertTrue로 탐지

// 원본
public void updateOrderStatus(Order order, OrderStatus newStatus) {
    // ... 유효성 검증 ...
    order.setStatus(newStatus);  // void 메서드 호출
}
 
// 변이: order.setStatus(newStatus) 호출 제거
// 메서드 실행 후 order.getStatus()가 변경되었는지 검증해야 탐지 가능