SE Radio 589: Zac Hatfield-Dodds on Property-Based Testing in Python

Zac Hatfield-Dodds, the Assurance Team Lead at Anthropic, speaks with host Gregory M. Kapfhammer about property-based testing techniques and how to use them in an open-source tool called Hypothesis. They discuss how to define properties for a Python function and implement a test case in Hypothesis. They also explore some of the advanced features in Hypothesis that can automatically generate a test case and perform fuzzing campaigns.

Show Notes

Related Episodes

• SE Radio 256: Jay Fields on Working Effectively with Unit Tests
• SE Radio 283: Alexander Tarlinder on Developer Testing
• SE Radio 322: Bill Venners on Property Based Tests
• SE Radio 474: Paul Butcher on Fuzz Testing
• SE Radio 516: Brian Okken on Testing in Python with Pytest

Other References

• Zac Hatfield-Dodds’ Web site: Zac HD
• Documentation for Hypothesis: Welcome to Hypothesis — Hypothesis 6.88.3 documentation
• Web site for Hypothesis: Products – Hypothesis
• Documentation for the Hypothesis GhostWriter: Ghostwriting tests for you — Hypothesis 6.88.3 documentation
• GitHub repository for Hypothesis: GitHub – HypothesisWorks/hypothesis: Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
• Documentation for HypoFuzz: HypoFuzz documentation — HypoFuzz docs
• Web site for HypoFuzz: HypoFuzz

Podcast: Play in new window | Download

Subscribe: Apple Podcasts | RSS