관찰 가능한 결과
79 -> C / 80 -> B
if와 else로 경로 나누기의 성공과 실패 증거
79/80과 89/90처럼 경계 양쪽을 함께 실행하면 조건 순서와 포함 여부가 드러납니다.
왜 실패하는가
79/80과 89/90처럼 경계 양쪽을 함께 실행하면 조건 순서와 포함 여부가 드러납니다.
코드에 남길 계약
분기문은 조건의 개수보다 경계가 겹치지 않고 모든 입력이 어느 경로로 가는지 설명되는지가 중요합니다.
관찰 증거 분기문은 조건의 개수보다 경계가 겹치지 않고 모든 입력이 어느 경로로 가는지 설명되는지가 중요합니다.