An introduction to property based testing
summary
Starts from actual properties instead of canned examples, writes properties like "reverse twice equals original", uses property-based testing with Swift check to generate inputs and apply a shrinking mechanism to produce minimal counterexamples, builds an email generator from RFC rules and wires it to a regex validator, and reports that the generator finds a real regex bug after only two runs — concrete claim, concrete tools, a specific failing case, and a verification that the technique produces actionable, shrunken examples.
AI-written summary · about
chapters (13)
- 0:00Intro
- 0:53Classic unit tests
- 3:25Let's look at an example
- 6:06SwiftCheck
- 7:22Implementing a first property
- 8:24A more complex property
- 10:35Time to catch a bug
- 11:25Create a generator for emails
- 12:33Write the property
- 15:15Mixing both approaches
- 17:00How do I use this in my app?
- 20:01When is this approach relevant?
- 20:57Is there a lighter approach?
related talks
20mUnlock The Power Of Property-Based Testing
18mProperty-based testing beginning with SwiftCheck
54mAn Introduction to Property-based Testing
26mThe missing piece of testing
30mProperty Based Testing: From Theory to Practice
01h 24mIntroduction to Property Based Testing
45mProperty based tests for the masses
58mProperty Based Testing: Concepts and Examples