ScalaCheck

ScalaCheck ([ScalaCheckTool] ist eine Scala-Portierung des innovativen, in Haskell implementierten Werkzeugs QuickCheck. Es unterstützt das automatisierte spezifikationsbasierte Testen, das in der Haskell-Literatur auch als typbasiertes »Property«-Testen beschrieben wird (z.B. in [O’Sullivan2009]).

ScalaCheck kann mit sbaz installiert werden, z.B. durch sbaz install scalacheck.

Wenn man ScalaCheck (oder QuickCheck in Haskell) verwendet, spezifiziert man Bedingungen, die für alle Instanzen eines bestimmten Typs zutreffen sollen. Das Werkzeug testet die Bedingungen, indem es automatisch Instanzen des Typs generiert und prüft, ob die Bedingungen erfüllt sind.

Hier ist ein ScalaCheck-Test für Complex:

// code-examples/ToolsLibs/complex-check-script.scala