Property based tests for the masses
summary
Argues that property-based testing finds real bugs in mainstream and legacy code rather than being an academic novelty, demonstrating it on Java/C# style code and a 12‑year‑old codebase where random inputs expose a dosing bug; uses generators (essentially constructors with randomness) and QuickCheck-style frameworks available for most languages; recommends use 100 random tries by default to surface counterexamples; shows it exposes hidden business rules and helps with characterization tests and assumptions rather than replacing example tests.
AI-written summary · about
chapters (18)
- 0:00Intro
- 2:33What is property based testing
- 8:35Geometry of Meaning
- 16:08Representative democracy
- 20:58Comparison
- 22:18Base testing
- 23:58Model test
- 24:40Random shit
- 29:27Invariants
- 30:02Random
- 30:41Randoms dont matter
- 31:25Assumptions are false
- 32:00Facebook is fine
- 32:32Property based tests
- 32:53Double loop test
- 36:03What if
- 38:30Generators
- 40:05Desolation
related talks
30mProperty Based Testing: From Theory to Practice
51mProperty-Based Testing
23mProperty based testing is a mindset
51mProperty Testing: Write Fewer Tests, Find More Bugs
54mAn Introduction to Property-based Testing
58mProperty Based Testing: Concepts and Examples
46mProperty-based testing:You won't look at your tests the same way ever again
36mProperty Based Testing: From Theory to Practice