A short case study of a real production issue that was debugged, minimized, and fixed using property-based testing.
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.
I'll share a handful of techniques that can help you avoid runtime errors and shift them to the realm of compile time
I will show you how you can build your own IDE for scala based on my nvim setup
We all have pretty little things laying around in our codebases, yet, we seldom give them the same love
Learn about opaque types and add this new tool to your modelling toolbox!