예제 기반 테스트가 놓치는 버그를 잡는 속성 기반 테스트(PBT)를 실전 중심으로 정리합니다. 속성/제너레이터/슈링킹 핵심 개념, 속성 발견 패턴 카탈로그, Python Hypothesis와 Java jqwik과 JS fast-check 동작 예제, 상태 머신 테스트, CI 통합, AI가 작성한 코드 검증과의 시너지까지 다룹니다.
AI가 코드를 쓰는 시대에 병목은 리뷰로 옮겨갔습니다. 사람 PR을 리뷰하는 것과 에이전트 출력물을 리뷰하는 것은 다른 기술입니다. AI 코드가 특유하게 틀리는 방식, 환각 API와 의미 없는 테스트를 걸러내는 검증 루프, 타입보다 테스트보다 사람의 순서, 'AI 슬롭'의 정체와 필터링까지 — 복사해 쓸 수 있는 체크리스트와 함께 정리합니다.
소프트웨어 테스트의 모든 것! 테스트 피라미드, TDD 실전, 단위 테스트(Jest/pytest/JUnit), 통합 테스트(Testcontainers), E2E(Playwright/Cypress), 성능 테스트(k6), 모킹 전략, 코드 커버리지, CI/CD 자동화까지.