조건문 `score >= 60`을 `score > 60`으로 바꾼 변이 프로그램이 모든 테스트를 통과했다. 이 결과의 해석으로 가장 타당한 것은?

1. 1

   60과 그 주변 경계값을 구분하는 테스트가 부족하다

   정답 근거두 조건식은 score=60에서만 다르므로 변이가 살아남았다면 60 경계와 단언이 부족하다는 해석이 타당하다.
2. 2

   변이 프로그램이 원본과 완전히 동등하다

   오답 이유원본은 60을 통과시키고 변이는 실패시키므로 두 프로그램은 동등하지 않다.
3. 3

   모든 테스트가 충분하다는 뜻이다

   오답 이유변이가 살아남았다는 것은 오히려 현재 테스트가 이 차이를 검출하지 못했음을 뜻한다.
4. 4

   컴파일러가 비교 연산자를 자동 복구했다

   오답 이유컴파일러는 의미가 다른 `>=`를 `>`로 임의 복구하지 않는다.