Introduction to Property-Based Testing

on YouTube ↗01h 31m

" summary

Introduction covers property-based testing using Hypothesis and pytest with runnable examples that actually find bugs: a NaN case breaking sort, floating-point mean turned infinite for two huge floats, binaryornot failing due to chardet, Mercurial round‑trip crashes, and JSON/gzip round trips. Tutorial shows tools like strategies, map/filter, composite, Atheris/HypoFuzz and shared example DBs, explains settings and determinism, and notes defaults like 100 examples per test and a 200ms deadline while demonstrating tests that reproduce failures and then shrink them.

AI-written summary · about

" chapters (8)

1. 0:00Property-based testing intro
2. 1:03What is PBT and why it matters
3. 10:56PBT finds bugs in code
4. 11:58Installing Hypothesis
5. 37:18Describing data with strategies
6. 1:00:00PBT test tactics
7. 1:22:07PBT in production tips
8. 1:31:04Q&A

" related talks

• 01h 24mIntroduction to Property Based TestingZac Hatfield-Dodds · PyCon US 2022
• 01h 23mIntroduction to Property-Based TestingZac Hatfield-Dodds · PyCon US 2021
• 27mTesting Beyond Examples: Property Based Testing with HypothesisSam Bishop · PyCon AU 2026
• 51mProperty-Based TestingLucy Mair · NDC London 2023
• 41mProperty Based Testing in Python with HypothesisAnthony Khong · PyCon APAC 2019
• 23mFrom test to proof: introduction to Property Based TestingBaptiste LANGLADE · AFUP Day 2020 Lyon
• 26mProperty Based Testing the Python WayEmma Saroyan · PyCon UK 2022
• 36mProperty Based Testing: From Theory to PracticeNicolas Dubien · Best of Web 2019