Property-based Testing or the Insufficiency of Unit Tests
summary
This talk examines the limits of example-based unit tests and the risks of non-exhaustiveness and combinatorial explosion. It presents property-based testing as an alternative approach focused on specifying and checking general behavioral properties of code rather than individual example cases.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:05Unit test limits
- 8:26Combinatorial explosion
- 10:54Property-based tests defined
- 13:40Live demo
- 23:12Reproducing errors
- 28:31Test complementarity
- 34:11Property-based benefits
- 39:49Summary and feedback
related talks
23mFrom test to proof: introduction to Property Based Testing
46mProperty-based testing:You won't look at your tests the same way ever again
36mProperty-Based Testing: Unveiling the Truth on Test Reduction
01h 24mIntroduction to Property Based Testing
45mProperty based tests for the masses
36mProperty Based Testing: From Theory to Practice
51mProperty-Based Testing
48mDomain Invariants & Property-Based Testing for the Masses