분기 커버리지

분기 커버리지가 복합 조건의 각 작은 조건을 모두 확인했다고 뜻하지는 않습니다.

문장 100%를 분기 100%로 착각하지 않습니다.

조건 커버리지와 결정 커버리지는 서로 같은 기준이 아닙니다. 단축 평가 시 입력값과 실제 평가를 구분합니다.

공식의 +2는 하나의 연결된 제어 흐름 그래프 조건입니다. 연결 요소가 P개인 일반식은 E−N+2P입니다.

A와 B를 동시에 바꾸어 결과가 달라진 것만으로 각 조건의 독립성을 증명할 수 없습니다. 실제 Python and/or, Java·C의 &&/||는 오른쪽 조건을 생략할 수 있으므로 입력값을 정한 것과 실제 평가한 것은 다릅니다. 단락 평가에서 미평가 조건을 다루는 masking 방식과 아래 unique-cause 진리표 훈련을 혼용하지 않습니다. 반복 조건이나 조건 사이의 제약이 있는 식에 무조건 조건 수+1을 적용하지 않습니다.