Testgetriebene Entwicklung in objektorientierten Sprachen setzt bislang meist auf beispielbasierte Testfälle, wie man sie leicht mit JUnit und ähnlichen Testframeworks erstellen kann. Schaut man jedoch über den Tellerrand und auf funktionale Programmiersprachen wie z. B. Haskell oder F#, findet man dort etwas anderes: Property-Tests. Diese basieren auf der Idee, die erwünschten Eigenschaften unseres Programms zu beschreiben und anschließend das Framework selbstständig Testfälle generieren zu lassen, die diese Eigenschaften bestätigen oder falsifizieren.

In diesem Workshop werden wir mit viel Live-Coding und Hands-on-Übungen die Ideen des Property-based Testing an Hand von jqwik erleben.

    Agenda

• Properties vs. Example/Beispieltests
• Einführung in jqwik
• Hands-on Session I
• Sinnvolle Werte generieren lassen
• Hands-on Session II
• Shrinking
• Patterns für gute Properties
• Hands-on Session III
• Stateful Properties
• Hands-on Session IV
• Advanced Topics