Property Based Testing on the JVM

Categories: Property Testing, Testing, Java, JQwik

Property Based testing is letting the computer determine aggressive inputs for your subjects. When the computer provides edge cases, it highlights some of the typical problems that may still show up, so that you, the programmer, may have not thought about.

Property-based Testing has its origins in Haskell and Scala, but what offerings are there in Java? We will discuss various projects, and we will use a few examples to show how Java programmers can benefit from property-based tests to ensure that your code is actually well tested. We will also cover some of the "don’ts" when it come to property based testing. For this presentation, we will use all Java so you can get started on your journey to more aggressive testing.