Testfallgenerierung: Quick/Smallcheck

automatische, typgesteuerte Erzeugung von Testfällen

import Test.SmallCheck
data Wurf = .. ; instance Serial Wurf ..
transitive r = 
    \ u v w -> ( r u v && r v w ) <= r u w
test ( transitive ((<)::Wurf->Wurf->Bool))

Koen Claessen and John Hughes: QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs, In Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN, 2000.

(ICFP 2010: most influential ICFP'00 paper award)

ähnliche Idee in http://hackage.haskell.org/package/smallcheck-0.6