입력 검증의 소유권, 경계 조건에서 다시 살펴보기

화면에서 검증한 값이라고 믿고 서버 검증을 생략하면 다른 클라이언트가 제약을 우회할 수 있다.

대표 예제 하나가 통과해도 기능의 경계가 명확해진 것은 아니다. 값이 없거나 예상보다 많을 때, 실행이 늦어지거나 순서가 바뀔 때 다른 규칙이 숨어 있을 수 있다. 이번 기록에서는 정상 경로를 유지한 채 입력 범위를 넓혀 보고 무엇을 허용할지 구분한다.

정상 경로 밖의 입력

경계에서는 형식과 범위를 검증하고 도메인 규칙은 데이터를 변경하는 경계에서도 확인한다. 어떤 계층이 어떤 오류를 설명할지 명확히 나누면 중복과 누락을 줄일 수 있다.

이번에 확인할 질문: 예상 범위를 벗어난 입력은 조용히 다른 결과를 만들지 않고 구분되는가?

작게 확인하는 예제

다음 예제는 핵심 조건을 드러내기 위한 출발점이다. 서비스의 전체 구현을 대신하지 않으므로 실제 입력 범위와 실패 처리 규칙을 함께 읽어야 한다.

from dataclasses import dataclass

@dataclass(frozen=True)
class Quantity:
    value: int
    def __post_init__(self):
        if self.value < 1:
            raise ValueError('quantity must be positive')

형식 오류, 범위 오류, 업무 규칙 오류를 따로 만들어 각각 적절한 경계에서 거부되는지 확인한다.

놓치기 쉬운 조건

형식이 맞는 값과 업무상 허용되는 값은 다르다. 양수인 수량이어도 현재 재고나 주문 제한을 넘을 수 있다.

확인할 부분	살펴볼 내용
기준 동작	형식 오류, 범위 오류, 업무 규칙 오류를 따로 만들어 각각 적절한 경계에서 거부되는지 확인한다.
비교 조건	입력과 실행 순서를 고정하고 한 번에 한 조건만 바꾼다.
적용 범위	예제가 생략한 의존성과 실제 서비스의 제약을 구분한다.

다음 변경에 적용할 순서

1. 빈 값과 최소 크기부터 확인 범위를 넓힌다.
2. 한 번에 여러 경계를 섞지 않고 각각의 결과를 기록한다.
3. 지원하지 않는 조건은 허용 범위와 함께 분명하게 설명한다.

모든 입력을 성공시켜야 좋은 인터페이스가 되는 것은 아니다. 지원 범위를 예측할 수 있고 실패 이유가 분명한 편이 더 다루기 쉽다. 경계 조건을 문서와 예제에 함께 남겨야 다음 구현에서도 같은 기준을 적용할 수 있다.