MC/DC(변경 조건/결정 커버리지)
각 세부 조건이 다른 조건 값은 그대로 둔 채 홀로 바뀌었을 때, 전체 조건식의 결과에도 실제로 영향을 미치는지까지 확인하는 매우 엄격한 화이트박스 커버리지 기준으로, 항공 소프트웨어 등 안전이 중요한 시스템에서 요구됩니다.
한눈에 보는 정의
MC/DC(Modified Condition/Decision Coverage, 변경 조건/결정 커버리지)는 각 세부 조건이 다른 조건 값은 그대로 둔 채 홀로 바뀌었을 때, 전체 조건식의 결과에도 실제로 영향을 미치는지까지 확인하는 화이트박스 커버리지 기준입니다.
자세히 알아보기
- 예문: "
if (A && B)에서 B는 고정한 채 A만 바꿨을 때 전체 결과도 함께 바뀌는지 확인하는 것이 MC/DC의 핵심이다." - 조건/결정 커버리지(Condition/Decision Coverage) (조건/결정 커버리지)는 개별 조건과 전체 결과의 참/거짓만 확인했지만, MC/DC는 그 조건이 '진짜로 결과에 영향을 미치는지'까지 증명하도록 요구합니다.
- 조건 개수가 늘어나도 필요한 테스트 케이스 수가 조건 개수에 비례해서만 늘어나, 다중 조건 커버리지(Multiple Condition Coverage) (다중 조건 커버리지)보다 훨씬 실용적으로 적용할 수 있습니다.
- 항공기 소프트웨어처럼 안전이 극도로 중요한 시스템의 인증 기준(DO-178C)에서 요구되는 대표적인 엄격한 커버리지 기준으로 잘 알려져 있습니다.