CH4-6 · MODEL

입력 검증 루프 설계의 성공과 실패 증거

형식 오류와 범위 오류는 모두 재시도지만 서로 다른 검사 단계에서 발견됩니다.

성공 출력

관찰 가능한 결과

abc -> retry / 70000 -> retry

실패 경계

왜 실패하는가

형식 오류와 범위 오류는 모두 재시도지만 서로 다른 검사 단계에서 발견됩니다.

선택 기준

코드에 남길 계약

입력 검증은 예외를 숨기는 일이 아니라 형식, 의미, 재시도 정책을 각각 분명하게 만드는 일입니다.

관찰 증거 입력 검증은 예외를 숨기는 일이 아니라 형식, 의미, 재시도 정책을 각각 분명하게 만드는 일입니다.