Die grundlegende Idee vom „eigenschaftsbasierten Testen“ (property based testing) ist schnell erklärt: Man definiere eine Funktion mit verschiedenen Parametern nach Belieben. Innerhalb der Funktion dürfen (und sollen) Assertions vorkommen. Statt nun die Funktion manuell mit verschiedenen Parametersätzen aufzurufen, lässt man das ein Testframework machen. Als Entwickler konzentrieren wir uns also auf die Testlogik, statt auf die Testeingaben.

Doch so einfach, wie das in der Theorie klingt, ist es…