QuickCheck

Quick Check ist ein Werkzeug, das Programmierern in Haskell hilft, Eigenschaften von Programmen zu formulieren und zu testen. Eigenschaften werden als Haskell-Funktionen beschrieben und können automatisch mit zufälligen Eingaben getestet werden. Es ist jedoch auch möglich, benutzerdefinierte Testdatengeneratoren zu definieren. Wir präsentieren eine Reihe von Fallstudien, in denen das Werkzeug erfolgreich eingesetzt wurde, und weisen auch auf einige Fallstricke hin, die es zu vermeiden gilt. Zufälliges Testen ist besonders für funktionale Programme geeignet, da Eigenschaften sehr präzise formuliert werden können. Wenn eine Funktion aus separat getesteten Komponenten aufgebaut ist, genügt zufälliges Testen, um eine gute Abdeckung der getesteten Definition zu erreichen.