테스트 — 소프트웨어공학 기출 모아보기

Ot2만 사용하면 문장(statement) 커버리지가 75 %이다.

t2(x=2, y=0)는 첫 if 조건(x<0 && y>=0)이 거짓이라 문장2는 실행되지 않고, 둘째 if(x>=0)는 참이라 문장3이 실행된다. 실행 가능한 4개 문장 중 3개가 실행되어 75 %로 옳다.

OT를 사용하면 문장 커버리지가 100 %이다.

t1(x=-2, y=3)은 첫 if가 참이라 문장2를, t2는 둘째 if가 참이라 문장3을 실행한다. 두 입력으로 모든 문장이 실행되어 문장 커버리지 100 %로 옳다.

OT를 사용하면 분기(branch) 커버리지가 100 %이다.

첫 if는 t1에서 참·t2에서 거짓, 둘째 if는 t1에서 거짓·t2에서 참으로 모든 분기의 참/거짓 결과가 한 번 이상 실행되어 분기 커버리지 100 %로 옳다.

XT를 사용하면 조건(condition) 커버리지가 100 %이다.

조건 커버리지는 각 개별 조건이 참·거짓을 모두 가져야 한다. 첫 if의 두 조건에서 t1은 (x<0:참, y>=0:참), t2는 (x<0:거짓, y>=0:참)이라 y>=0이 거짓이 되는 경우가 없어 100 %가 아니다. 옳지 않다.

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

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

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

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

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

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

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

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