입력 사례를 명시하기
같은 동작을 여러 입력에서 검사할 때 함수 본문을 복사하지 않고 사례 속성을 추가한다. 사례 설명을 붙이면 실패한 입력을 구분하기 쉽다. 생성된 검사는 일반 Cargo 검사 흐름으로 실행한다. 사례의 수와 판정의 충실도는 별개이므로 함수가 필요한 결과를 실제로 확인하도록 작성한다.
행렬로 조합 만들기
각 인자에 가능한 값 목록이나 범위를 지정하면 곱집합에 해당하는 사례를 생성할 수 있다. 서로 짝을 이루어야 하는 데이터는 임의 조합과 구분한다. 인자가 늘면 검사 수도 빠르게 커질 수 있어 컴파일과 실행 비용을 고려한다. 중요한 경계값을 의도적으로 포함하고 중복적인 조합을 점검한다.
컴파일러와 유지보수
매크로가 검사 코드를 생성하므로 원래 함수와 생성된 사례의 관계를 이해하면 오류를 조사하기 쉽다. 공식 안내는 3 계열부터 최신 안정 Rust만 지원하는 정책을 설명한다. 오래된 도구 체계가 필요한 프로젝트는 사용할 버전의 지원 범위를 확인한다. 입력 사례 생성은 속성 기반 탐색이나 외부 시스템 연동 검사를 자동으로 대신하지 않는다.
관련 문서
Rstest / Proptest / QuickCheck Rust / Nextest