AI 코드가 테스트를 통과해도 놓치는 경계값: 재고 함수로 확인하기
VR하는소년
AI가 제안한 구현을 믿을지 말지는 “코드가 그럴듯한가”가 아니라, 요구사항을 테스트로 고정했는가로 결정됩니다. 특히 Python에서는 bool이 int의 하위 클래스라 타입 경계에서 테스트가 흔들리기 쉽습니다.아래는 reserve(stock, qty) 요구사항에서 경계값·타입 규칙·예외 규칙을 먼저 테스트로 고정한 뒤, AI 생성 코드(또는 기존 코드)를 그 테스트로 검증·수정하는 최소 절차와 예시 코드를 제공합니다.먼저 정할 재고 함수의 규칙언어/런타임: Python 3.11, 표준 라이브러리 unittest만 사용합니다. (unittest 공식 문서)대상 작업: 간단한 도메인 함수 1개에 대해, 요구사항을 “판정 가능한 단위 테스트”로 고정합니다. Copilot 같은 인라인 제안은 도움이 되지만 항..