좋은 Vouch 후보는 입력이 명시되고 검사 프로필 소스가 안정적이며 출력이 점검 가능한 작은 결정적 판단입니다.
한눈에 보기
LISPEX
(define (refund? days opened?) (and (<= days 14) (not opened?)))
(refund? 9 #f)결과
OUTPUT
#t작업 방법
- 호스트 데이터 변환은 규칙 밖에 두고 검사 프로필에 전달한 정확한 datum을 고정합니다.
- 애플리케이션이 해석을 문서화한 작은 값을 반환하고 승인·거부 경계를 모두 테스트합니다.
- 소스, 입력 코퍼스, 영수증을 함께 버전하여 재생 분모를 명시합니다.
경계
- 결정 영수증은 비즈니스 정책 자체의 공정성·정당성을 판단하지 않습니다.