https://www.youngju.dev/blog 천천히 올바르게. AI Researcher & DevOps Engineer Youngju's tech blog. GPU/CUDA, LLM, MLOps, Kubernetes AI workloads, distributed training, and data engineering. ko fjvbn2003@gmail.com (Youngju Kim) fjvbn2003@gmail.com (Youngju Kim) Fri, 12 Jun 2026 00:00:00 GMT https://www.youngju.dev/blog/devops/2026-06-12-property-based-testing-practical.en https://www.youngju.dev/blog/devops/2026-06-12-property-based-testing-practical.en A practice-first guide to property-based testing (PBT), which catches the bugs that example-based tests miss. Covers the core concepts of properties, generators, and shrinking, a pattern catalog for discovering properties, working examples in Python Hypothesis, Java jqwik, and JS fast-check, state machine testing, CI integration, and the synergy with verifying AI-written code. Fri, 12 Jun 2026 00:00:00 GMT fjvbn2003@gmail.com (Youngju Kim) testingproperty-based-testinghypothesisjqwikfast-checkciquality https://www.youngju.dev/blog/devops/2026-06-12-property-based-testing-practical.ja https://www.youngju.dev/blog/devops/2026-06-12-property-based-testing-practical.ja 例示ベースのテストが見逃すバグを捕まえるプロパティベーステスト(PBT)を実践中心に整理します。プロパティ/ジェネレーター/シュリンキングの核心概念、プロパティ発見のパターンカタログ、Python HypothesisとJava jqwikとJS fast-checkの動作例、ステートマシンテスト、CI統合、AIが書いたコードの検証とのシナジーまで扱います。 Fri, 12 Jun 2026 00:00:00 GMT fjvbn2003@gmail.com (Youngju Kim) testingproperty-based-testinghypothesisjqwikfast-checkciquality https://www.youngju.dev/blog/devops/2026-06-12-property-based-testing-practical https://www.youngju.dev/blog/devops/2026-06-12-property-based-testing-practical 예제 기반 테스트가 놓치는 버그를 잡는 속성 기반 테스트(PBT)를 실전 중심으로 정리합니다. 속성/제너레이터/슈링킹 핵심 개념, 속성 발견 패턴 카탈로그, Python Hypothesis와 Java jqwik과 JS fast-check 동작 예제, 상태 머신 테스트, CI 통합, AI가 작성한 코드 검증과의 시너지까지 다룹니다. Fri, 12 Jun 2026 00:00:00 GMT fjvbn2003@gmail.com (Youngju Kim) testingproperty-based-testinghypothesisjqwikfast-checkciquality