Workshop Introduction to Property Based Testing

TL;DR 3 day remote workshop (9am-5pm CEST) introducing Property Based Testing, 20th to 22nd of September 2021.

I am excited to announce a public, three-day online workshop about Property Based Testing on 20th to 22nd of September 2021. The workshop is a cooperation with Software Therapist Johannes Link.

Description
Developer testing in Object-oriented languages — as seen today — focuses on example-based test cases, which can easily be written with JUnit or similar tools. Trying to cover a complex domain with just examples forces you to write a lot of tests - and you may still miss edge cases and crucial scenarios. Property-based testing promises to get rid of the boilerplate tests by specifying the intended generic properties of our code, and to let the testing library create and execute test cases and try to falsify those properties.

Target Audience
Developers with some experience in unit testing.

You will learn

• the basic idea behind Property-based Testing and how it compliments example based tests.
• how to use jqwik as a library to do PBT on the JVM.
• how to generate meaningful domain objects and data.
• about the mechanics and importance of shrinking for PBT.
• strategies for finding good properties for your code.

Keywords
testing, PBT, test case generation, finding properties.

Mode of the workshop
The workshop will be online. You need to have access to tools like BlueJeans (video conferencing), Miro (online boards) and GitHub (code sharing). You also need an installed recent version of your Java or C# IDE (like IntelliJ or Visual Studio). The exercises are available for Java and C#. To check if another programming language is possible - and probably it is - please contact me. During the workshop you will listen to (short) presentations, work through exercises in groups, pairs and alone and have plenty of time to ask questions and discuss approaches.

Schedule
Workshop time is 9am to 5pm CEST. Your attendance is required from 9am to 3pm CEST. After the online session you will have time for more practice and reflection at your leisure. The workshop will take place on 3 consecutive days, 20th to 22nd of September 2021.

Administration

• There will be a maximum of 12 participants, guided by two trainers (Johannes Link and Peter Kofler).
• The minimum number of participants is 6.
• Workshop fee is EUR 1500.- plus VAT (20%).
• Register by sending an .