Quickcheck, Smallcheck, ...

John Hughes, Koen Classen:
Automatic Specification-Based Testing http://www.cs.chalmers.se/~rjmh/QuickCheck/

• gewünschte Eigenschaften als Funktion (Prädikat):

  p : : A→B→…→Bool

• Testtreiber überprüft ∀a∈A, b∈B,… : p a b...
• dabei werden Wertetupel (a, b,…) automatisch erzeugt:
  • QuickCheck: zufällig
  • SmallCheck: komplett der Größe nach
  • LazySmallCheck: nach Bedarf
• Generatoren für anwendungsspezifische Datentypen