Property Based Testing with Hypothesis

Explore property-based testing with Hypothesis in this 50-minute conference talk by David R. MacIver, the primary author of the advanced property-based system. Learn how to specify general properties about your system under test, allowing the testing software to explore code boundaries and uncover unexpected bugs. Discover the how, why, and when of using Hypothesis to catch software issues faster and with less effort. Delve into topics such as finding bugs, state equivalence, fuzzing assumptions, common bugs, decoupling, state collapse, serialization, and normalization. Gain insights into the roadmap for Hypothesis and how it can revolutionize your testing approach, moving beyond conventional automated testing that requires extensive test code writing.

Introduction
Finding bugs
State
Equivalence
Fussing assumption
Obvious bugs
Common bugs
Finding common bugs
Decoupling
Bugs
State collapse
Serialization
Normalization
Roadmap