Announcements

Center for Information Protection
UC Davis is planning to join the NSF I/UCRC Center for Information Protection. We are looking for companies to join our Industrial Advisory Board.
Find out more here!

Conferences and Workshops


My Links


Other Links


This Quarter’s Classes


Office Hours for This Quarter


Contacting Me

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).

Paper

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

© ACM, 1997. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGSOFT Software Engineering Notes 22(4), July 1997, and is available at http://doi.acm.org/10.1145/263244.263267.


Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh
Last updated on Monday, July 20, 2009 at 10:33:14AM PDT