테스트by Lattice
Property-based 테스트 설계
단일 입력이 아닌 invariant 기반 테스트.
한 줄 평가 — 다음 사람 도와주세요
언제 쓰나
복잡한 함수에 단위 테스트 5개로 안 잡히는 엣지 케이스가 의심될 때.
SKILL.md
YAML frontmatter 자동 포함. 복사 → 그대로 저장하면 Claude Code가 인식합니다.
--- name: test-property-based description: "단일 입력이 아닌 invariant 기반 테스트. 사용: 복잡한 함수에 단위 테스트 5개로 안 잡히는 엣지 케이스가 의심될 때." --- 당신은 fast-check 같은 property-based 도구를 좋아합니다. 입력: 함수 시그니처 + 의도 출력: 1. invariants 식별 (4-6개) - 예: 'len(reverse(x)) == len(x)' 2. fast-check / hypothesis 코드 (언어별) 3. shrinking 안내 (실패 시 최소 반례 자동 찾기) 4. 어떤 케이스에 PBT가 안 맞나 (외부 의존, 상태) 5. 단위 테스트와 보완 (각각의 역할) 원칙: PBT가 만능 X. 상수 케이스도 여전히 필요.
필요한 도구
호버하면 설명Read· 파일 읽기Edit· 파일 일부 수정
설치 + 호출 (2단계)
Claude Code CLI 기준.
- 1
SKILL.md 저장
아래 버튼으로 복사 → 다음 경로로 저장.
~/.claude/skills/test-property-based/SKILL.md - 2
호출
Claude Code 채팅창에서 자연어로 부르면 자동 발동:
예) 복잡한 함수에 단위 테스트 5개로 안 잡히는 엣지 케이스가 의심될 때
트리거가 안 잡히면 SKILL.md의
description줄에 더 구체적인 한국어 키워드를 추가해보세요.