Property-Based Testing: a New Approach to Testing for Assurance

Citation

• G. Fink and M. Bishop, “Property-Based Testing: a New Approach to Testing for Assurance,” ACM SIGSOFT Software Engineering Notes 22(4) pp. 74–80 (July 1997). DOI: 10.1145/263244.263267.

Paper

• Publisher’s version (free, goes to the ACM Digital Library)  
• Publisher’s version (behind a paywall; contact the author for a copy)

Bibliographic Information

• DOI: 10.1145/263244.263267
• BibTeX
• EndNote

Abstract

The goal of software testing analysis is to validate that an implementation satisfies its specifications. Many errors in software are caused by generalizable flaws in the source code. Property-based testing assures that a given program is free of specified generic flaws. Property-based testing uses property specifications and a data-flow analysis of the program to guide evaluation of test executions for correctness and completeness.

Copyright Notice

©1997 by the Association for Computing Machinery (ACM). . The definitive version was published in ACM SIGSOFT Software Engineering Notes, July 1997, and is available at 10.1145/263244.263267.