// Testen & Qualität

Property-based Testing mit jqwik

Eigenschaften statt Einzelbeispiele testen und Randfälle automatisch finden.

  • Inhouse-Schulung
  • 1 Tag
  • Fortgeschritten
  • Remote oder vor Ort
Lupe auf einem Blatt mit gezeichneten Kästchen, die meisten abgehakt, eines durchgestrichen
Symbolbild · KI-generiert

Was Sie mitnehmen

  • Sie formulieren Eigenschaften, die für alle gültigen Eingaben gelten müssen.
  • Sie erzeugen Testdaten mit Arbitraries und eigenen Generatoren.
  • Sie nutzen Shrinking, um Fehler auf minimale Gegenbeispiele zu reduzieren.
  • Sie kombinieren Property-based Tests sinnvoll mit beispielbasierten Unit-Tests.

Agenda

Die Agenda ist die Grundlage. Schwerpunkte und Beispiele stimmen wir vorab auf Ihr Team ab.

Vormittag

  • Beispielbasierte und eigenschaftsbasierte Tests im Vergleich
  • jqwik als JUnit-5-Engine: @Property, @ForAll, Annahmen mit Assume
  • Typische Eigenschaften: Invarianten, Umkehrbarkeit, Vergleich mit Referenzimplementierung
  • Übung: Eigenschaften für eine Hilfsbibliothek formulieren und prüfen

Nachmittag

  • Arbitraries kombinieren, filtern und mit @Provide bereitstellen
  • Shrinking verstehen und Gegenbeispiele reproduzierbar machen
  • Zustandsbasierte Tests mit Aktionsfolgen
  • Übung: Randfälle in einer Domänenklasse mit eigenen Generatoren aufdecken

Voraussetzungen und Rahmen

Vorwissen
Sichere Java-Kenntnisse und Erfahrung mit JUnit 5.
Werkzeuge
jqwik (Open Source, EPL 2.0)
Niveau
Fortgeschritten
Teilnehmende
bis 10 Personen, größere Gruppen auf Anfrage
Durchführung
Remote per Videokonferenz oder bei Ihnen vor Ort
Enthalten
Abstimmung vorab, Unterlagen, Übungsprojekte, Teilnahmebescheinigungen

// Trainer mit langjähriger Softwareentwicklungserfahrung, akademische Ausbildung in Informatik und KI.