From test to proof: introduction to Property Based Testing
summary
Introduction to Property-Based Testing: explains the limitations of example-based unit tests and presents property-based testing as an alternative approach. Describes how to specify general properties of code behavior and use tools (generators and test frameworks) to automatically check many random cases to find counterexamples.
AI-written summary · about
chapters (9)
- 0:00Session introduction
- 1:02Driving license example
- 4:44Traditional test limits
- 5:53Property Based Testing principles
- 7:16Black Box implementation
- 9:07Dataset definition
- 12:39Unexpected result analysis
- 14:05Method advantages
- 16:10Q&A
related talks
47mProperty-based Testing or the Insufficiency of Unit Tests
01h 24mIntroduction to Property Based Testing
36mProperty Based Testing: From Theory to Practice
01h 31mIntroduction 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
30mProperty Based Testing: From Theory to Practice
51mProperty-Based Testing