Affiliation:
1. Chalmers University of Technology
Abstract
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 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 suffuces 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
95 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Randomized Testing of RISC-V CPUs Using Direct Instruction Injection;IEEE Design & Test;2024-02
2. FormatFuzzer
: Effective Fuzzing of Binary File Formats;ACM Transactions on Software Engineering and Methodology;2023-12-22
3. Automatic Test Value Generation for Ada;ACM SIGAda Ada Letters;2023-10-30
4. Trustworthy Formal Natural Language Specifications;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
5. Uniform SAmplINg with BOLTZmann;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11