Affiliation:
1. Chalmers University of Technology
Abstract
Quick Check 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 define custom test data generators. We present a number of case studies, in which the 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 suffices to obtain good coverage of the definition under test.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
476 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probeable Problems for Beginner-level Programming-with-AI Contests;Proceedings of the 2024 ACM Conference on International Computing Education Research - Volume 1;2024-08-12
2. Automatic test cases generation from formal contracts;Information and Software Technology;2024-08
3. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
4. How We Built Cedar: A Verification-Guided Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
5. Exploring behaviours of RESTful APIs in an industrial setting;Software Quality Journal;2024-07-03