Some Attributes of a Language for Property-Based Testing
- M. Bishop and V. Neagoe, “Some Attributes of a Language for Property-Based Testing,” Technical Report SAND2004-5610, Sandia National Laboratory, Livermore, CA 94550 (Nov. 2004).
Property-based testing is a testing technique that evaluates executions of a program. The method checks that specifications, called properties, hold throughout the execution of the program. TASpec is a language used to specify these properties. This paper compares some attributes of the language with the specification patterns used for model-checking languages, and then presents some descriptions of properties that can be used to detect common security flaws in programs. This report describes the results of a one year research project at the University of California, Davis, which was funded by a University Collaboration LDRD entitled “Property-based Testing for Cyber Security Assurance”.