Free Trial

Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.

  • Create BookmarkCreate Bookmark
  • Create Note or TagCreate Note or Tag
  • PrintPrint

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


  

You are currently reading a PREVIEW of this book.

                                                                                                                    

Get instant access to over $1 million worth of books and videos.

  

Start a Free Trial


  
  • Safari Books Online
  • Create BookmarkCreate Bookmark
  • Create Note or TagCreate Note or Tag
  • PrintPrint