25-3화이트박스 테스트에서, 판단문 하나에 포함된 개별 조건식 각각이… | 2025년 정보처리기사실기 3회차 기출문제 상세 페이지

ㅈ. 조건 커버리지(Condition Coverage)

[해설]

개별 조건식마다 참·거짓을 한 번씩 만족시키되 판단문 전체 결과는 신경 쓰지 않는 것은 조건 커버리지(Condition Coverage)다.

• 결정 커버리지: 판단문 전체의 결과가 참·거짓을 한 번씩 갖도록 한다.
• 조건/결정 커버리지: 개별 조건과 판단문 전체 결과를 모두 참·거짓으로 만든다.
• 변경 조건/결정 커버리지(MC/DC): 각 개별 조건이 다른 조건과 무관하게 전체 결과를 바꿀 수 있음을 보인다.
• 다중 조건 커버리지: 개별 조건의 참·거짓 조합을 모두 시험한다.

예컨대 if (x > 0 || y > 0)에서 (x=1, y=-1)과 (x=-1, y=1)을 쓰면 두 조건은 각각 참·거짓을 다 갖지만 전체 결과는 둘 다 참이다. 조건 커버리지는 만족해도 결정 커버리지는 만족하지 못하는 사례다.