A short case study of a real production issue that was debugged, minimized, and fixed using property-based testing.
.jpg)
Property-based testing is often touted as a magical solution to testing: write one property, get hundreds of tests back in return. Although this sounds appealing, there are only so many times that we are going to property-test the "reverse" function. But can we use property-based testing for something "real"? The answer is a resounding "yes!".
In this talk, we will conduct a short case study of a real production issue that was debugged, minimized, and fixed using property-based testing. In the process we will experience first-hand the usefulness of property-based testing along with its staples of random data generation, shrinking, and well defined properties.
Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful
How Libretto, a Scala DSL for concurrent programming, can be used for writing custom stream operators
I'll share a handful of techniques that can help you avoid runtime errors and shift them to the realm of compile time