Property-based Testing with Java

150-min Workshop

Beginner session

Timetable

2:25 p.m.-5:25 p.m.

Thursday 15th

Room

Room D1+D2 - Track 6: Workshops

Audience

Developers familiar with Java who want to learn about PBT and make their first hands-on experiments.

Required

Laptop with Java IDE, Java 8 or higher

Key-Learning

- What is Property-based Testing and how does it compliment example tests

- Jqwik as a reasonable library to do PBT on the JVM

- The value of shrinking for PBT

- Patterns to find good properties

- Combining PBT with example tests

More thorough tests with less code

PBT is not only suitable for functional languages but also works in traditional OOP.

Test-driven Development in OO languages —as mostly taught today — focuses on example-based test cases, which can easily be written with JUnit or similar tools. However, when looking on functional languages like Haskell or F# you often stumble open something different: property tests.

Property tests are based on the idea to specify intended properties of our code, and to let the testing library create and execute test cases that try to falsify those properties. In this workshop I will both explain the theory behind Property-Based Testing and show how to implement it with Java. Participants will be given the opportunity to make hands-on experiments using Jqwik, a PBT library implemented as JUnit 5 test engine.

If you like the Agile Testing Days Conference you might also like: