How Property-Based Testing Finds Bugs Example Tests Miss
from Software Testing with Fexingo: QA, Automation, and Reliable Software Engineering Hosted by Fexingo
Lucas and Luna explore property-based testing, a technique where you define system invariants and let a tool generate thousands of random inputs to find edge cases hand-written tests overlook. They break down a real example from a financial transaction system where property-based tests caught a rounding bug that had survived for months. The episode covers the shift from example-based to property-based thinking, practical tools like Hypothesis for Python and QuickCheck for Java, and how teams can start small without rewriting their entire test suite. Lucas walks through a concrete property: 'for any valid trade, the sum of allocations equals the trade notional.' The hosts discuss common pitfalls like flaky properties and shrinking strategies that help debug failures. They also touch on the trade-off between property generality and test readability. The conversation ends with a forward look at how property-based testing fits into CI/CD pipelines and why it's gaining traction in fintech and safety-critical software. #PropertyBasedTesting #SoftwareTesting #QA #Automation #Hypothesis #QuickCheck #TestAutomation #EdgeCases #Invariants #Fintech #TestingStrategy #Python #Java #BugDetection #Shrinking #CICD #FexingoBusiness #Technology Keep every episode free: buymeacoffee.com/fexingo
Embed this episode
No transcript yet.