Property-basiertes Testen in Java: Code schneller brechen als mit JUnit

Property-basiertes Testen in Java: Wenn ein Test tausend ersetzt

Haben Sie jemals einen Unit-Test geschrieben, der grün war, aber eine Woche später in der Produktion mit einem Fehler bei einem „seltsamen Wert“ abgestürzt ist? Kommt Ihnen bekannt vor. Gewöhnliches (example-based) Testen ist, als würde man prüfen, ob ein Wasserkocher nur bei 100°C kocht. Aber was, wenn der Druck anders ist? Oder die Höhe über dem Meeresspiegel? Property-basiertes Testen in Java löst genau dieses Problem: Anstatt manuell Beispiele durchzugehen, beschreiben Sie Eigenschaften, die Ihr Code erfüllen muss, und das Framework generiert hunderte zufällige Eingabedaten und prüft, ob alles in Ordnung ist.

Dieser Ansatz ist besonders nützlich für Java-Entwickler, die komplexe Algorithmen schreiben, mit Collections, Parsern oder mathematischen Funktionen arbeiten. In diesem Artikel werden wir uns ansehen, wie Sie Property-based Testing mit der Bibliothek jqwik in Ihr Projekt integrieren, und zeigen echte Codebeispiele.

Was ist Property-basiertes Testen und wie unterscheidet es sich vom gewöhnlichen Testen?

Im klassischen Ansatz schreiben Sie:

@Test\nvoid testAddition() {\n    assertEquals(4, Calculator.add(2, 2));\n    assertEquals(0, Calculator.add(-1, 1));\n}

Das ist alles gut, bis jemand Integer.MAX_VALUE übergibt. Oder null. Oder eine sehr große negative Zahl. Property-basiertes Testen kehrt die Logik um: Sie sagen nicht „erwarte dieses Ergebnis“, sondern „für alle gültigen Eingabedaten erfüllt das Ergebnis die Eigenschaft X“.

Zum Beispiel eine Eigenschaft für die Addition: add(a, b) == add(b, a) (Kommutativität). Oder add(a, 0) == a (neutrales Element). Das Framework generiert tausende zufällige Paare a und b und prüft, ob die Eigenschaft verletzt wird.

Die Hauptvorteile von Property-based Testing:

\n
• Automatische Generierung von Testdaten – Sie finden Fehler, an die Sie nicht einmal gedacht haben.
\n
• Reduzierung der Testanzahl – Ein Property-Test ersetzt Dutzende Example-based-Tests.
\n
• Überprüfung von Grenzfällen – Generatoren können „gefährliche“ Werte erzeugen (0, null, leere Zeichenketten, große Zahlen).
\n
• Shrinking – Wenn ein Test fehlschlägt, minimiert das Framework die Eingabedaten auf das einfachste Beispiel, bei dem der Fehler reproduziert werden kann.
\n

Bibliotheken für Property-basiertes Testen in Java

Auf dem Markt gibt es mehrere ausgereifte Lösungen:

\n
• jqwik – modern, leichtgewichtig, lässt sich hervorragend in JUnit 5 integrieren. Empfehle ich für den Einstieg.
\n
• QuickTheories – schnell, aber weniger populär.
\n
• JUnit QuickCheck – Fork des alten Scala-Tools, aber die Unterstützung ist mangelhaft.
\n

Wir werden jqwik verwenden, da es die benutzerfreundlichste API und eine hervorragende Dokumentation hat. Fügen Sie die Abhängigkeit in Ihre pom.xml ein:

<dependency>\n    <groupId>net.jqwik</groupId>\n    <artifactId>jqwik</artifactId>\n    <version>1.8.4</version>\n    <scope>test</scope>\n</dependency>

Oder für Gradle:

testImplementation 'net.jqwik:jqwik:1.8.4'

Unseren ersten Property-basierten Test in Java schreiben

Angenommen, wir haben eine Methode, die einen String umkehrt:

public static String reverse(String s) {\n    if (s == null) return null;\n    return new StringBuilder(s).reverse().toString();\n}

Welche Eigenschaft können wir überprüfen? Wenn wir einen String zweimal umkehren, erhalten wir den ursprünglichen String. Dies ist eine ideale Eigenschaft für Property-based Testing.

import net.jqwik.api.*;\nimport static org.assertj.core.api.Assertions.assertThat;\n\nclass StringProperties {\n