imageBugfix.png
Gesellschaft für Informatik e.V.
50 Jahre
Vortrag

JUGS: ObjektForum Stuttgart: Property-based Testing in Java

Website der Veranstaltung

Datum und Uhrzeit

30.09.2019, 18:30 - 21:30 Uhr
Im Kalender speichern

Veranstaltungsort

STEP (Stuttgarter Engineering Park)
Stuttgart, Deutschland

Beschreibung

Property-based Testing in Java

 

mit Johannes Link

 

Testgetriebene Entwicklung in Java und anderen objektorientierten Sprachen setzt bislang meist auf beispielbasierte Testfälle, wie man sie leicht mit JUnit und ählichen 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.

 

Property-Tests 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 Vortrag werde ich sowohl auf die Theorie hinter Property-based Testing eingehen als auch konkret zeigen, wie man mit jqwik unter Java solche Tests umsetzen kann. Dabei spielen die Muster zum Finden der Properties eine wichtige Rolle.

Kontakt

Java User Group Stuttgart e.V.

Nachricht senden

Website