Abstract

ABSTRACT QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to dene custom test data generators. We present a n umber of case studies, in whic hthe tool w as successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a ne grain. When a function is built from separately tested components, then random testing su ces to obtain good coverage of the de nition under test.