Property based testing is a mindset
summary
Property-based testing uses generators and StreamData (Elixir) to describe input shapes, run hundreds of random cases, and assert invariant properties; generators are composable and support shrinking to minimal counterexample so failures reduce to tiny reproducing inputs. It finds obscure bugs — a stateful test produced a 17-call sequence that broke a database (later minimized to a 33-call minimal case during regression), and teams run 500 runs in CI, 25 locally to balance speed and coverage. Tools mentioned: Elixir, QuickCheck lineage, and custom generators.
AI-written summary · about
chapters (6)
related talks
30mProperty Based Testing: From Theory to Practice
45mProperty based tests for the masses
33mLets Generate Tests
36mProperty-Based Testing: Unveiling the Truth on Test Reduction
26mThe missing piece of testing
46mProperty-based testing:You won't look at your tests the same way ever again
20mUnlock The Power Of Property-Based Testing
47mProperty-Based Testing