MC/DC

변경 조건/결정 커버리지 테스팅 (Modified Condition/Decision Coverage Testing, MC/DC) MC/DC는 결정문 내의 각 조건이 독립적으로 결정의 결과에 영향을 미치는지 확인하는 테스트 기법이다. 이는 조건 커버리지와 결정 커버리지를 확장한 개념으로, 복잡한 논리 표현식의 각 입력이 출력에 미치는 영향을 독립적으로 보여준다. 먼저, MC/DC의 기본 개념을 이해하기 쉬운 예제를 통해 살펴보자: 1 2 3 public boolean validateFlight(boolean autopilotEngaged, boolean altitude, boolean airspeed) { return autopilotEngaged && (altitude || airspeed); } 이 코드는 비행 조건을 검증하는 간단한 함수이다. 자동조종장치가 켜져 있고, 고도나 속도 중 하나가 적절한 경우에만 비행이 허용된다. MC/DC에서는 각 조건이 독립적으로 전체 결과에 영향을 미치는 것을 검증해야 한다. ...