Journal
ACM SIGPLAN NOTICES
Volume 46, Issue 4, Pages 53-64Publisher
ASSOC COMPUTING MACHINERY
DOI: 10.1145/1988042.1988046
Keywords
-
Categories
Ask authors/readers for more resources
QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are discribed as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in whic hthe tool was 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 fine grain. When a function is built from separately tested components, then random testing suffuces to obtain good coverage of the definition under test.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available