Domain Invariants & Property-Based Testing for the Masses
summary
Argues that property‑based testing works on real messy code not just toy FP examples and shows concrete tools and patterns: ScalaCheck driving random inputs and shrinking to a minimal counterexample, applied against a Java 6 legacy bowling scorer and prescription validator. Claims it reduces test debt by replacing many brittle examples with a few properties, surfaces surprising counterexamples (found long after deploy), and recommends mixing PBTs with examples when full rules require solution knowledge.
AI-written summary · about
chapters (8)
- 0:00Intro
- 4:00Bowling Score
- 10:40Simple Test
- 14:15Problems with Simple Tests
- 20:50Problems with Parameters Tests
- 23:40PropertyBased Testing
- 30:50Assumptions
- 36:50ProfitBased Tests
related talks
57mDomain Invariants & Property-Based Testing for the Masses
01h 24mIntroduction to Property Based Testing
45mProperty based tests for the masses
58mProperty Based Testing: Concepts and Examples
46mProperty-based testing:You won't look at your tests the same way ever again
51mProperty-Based Testing
47mProperty-based Testing or the Insufficiency of Unit Tests
42mInvariants are everything