Einordnung

allgemein:

• Beweisen ist besser als Testen
• Testen ist besser als gar nichts
• das Schreiben von Tests ist eine Form des Spezifizierens

Vorteile QuickCheck u.ä. gegenüber JUnit u. ä.

• Test (Property) spezifiziert Eigenschaften, nicht Einzelfälle
• Spezifikation getrennt von Generierung der Testfälle
• Generierung automatisch und konfigurierbar