2022 국가직7급 소프트웨어공학 21번 해설 — 화이트박스 커버리지

① 문장 커버리지는 입력 데이터가 미리 정의한 유형에 적합한지를 검증하는 방법이다

이 선지 진술은 틀림(X)

문장(구문) 커버리지는 모든 실행 문장을 한 번 이상 실행했는지를 측정하는 기준이다. 입력이 정의된 유형에 적합한지 검증하는 것과 무관하므로 틀렸다.

② 동일한 프로그램에 대해 분기 커버리지를 달성하면 조건 커버리지를 달성한다

이 선지 진술은 틀림(X)

분기(결정) 커버리지를 달성해도 개별 조건의 참/거짓을 모두 평가하지 않을 수 있어 조건 커버리지가 보장되지 않는다. 두 기준은 서로 포함 관계가 아니다.

③ 동일한 프로그램에 대해 조건 커버리지를 달성하면 분기 커버리지를 달성한다

이 선지 진술은 틀림(X)

조건 커버리지는 각 조건의 참/거짓만 보장할 뿐 전체 결정(분기)의 참/거짓을 모두 보장하지 않으므로 분기 커버리지를 항상 달성하지는 않는다.

④ 동일한 프로그램에 대해 수정조건분기 커버리지(Modified Condition Decision Coverage, MCDC)를 달성하면 조건 커버리지를 달성한다

이 선지 진술은 옳음(O)

MC/DC는 각 조건이 독립적으로 결정 결과에 영향을 미치도록 요구하므로 모든 조건의 참/거짓을 포함하여 조건 커버리지를 포함(달성)한다.