Erweiterung der automatischen Tests um Konstrukt für property tests mit Vorbedingung
Für eigenschaftsbasiertes Testen möchte man häufig auch Vorbedingungen angeben, die die generierten Testdaten erfüllen sollen. Wenn man beispielsweise Eigenschaften für die Operationen auf Suchbäumen angeben möchte, so möchte man durch eine Vorbedingung festlegen, dass die generierten Testbäume auch tatsächlich die Suchbaumeigenschaft erfüllen.
Eventuell kann man zusätzlich zu dem Konstrukt quickCheck ein weiteres Konstrukt anbieten, dass die Angabe von Vorbedingungen ermöglicht.
Das ist erstmal nur ein Vorschlag. Ich bin selbst noch nicht sicher, ob das eine gute Idee ist oder ob man eigenschaftsbasiertes Testen mit Vorbedingungen erst unterstützen möchte, wenn die QuickCheck-Bibliothek bekannt ist.