Some attributes of a language for property-based testing.

Technical Report · Sun Oct 31 23:00:00 EST 2004

DOI:https://doi.org/10.2172/920828· OSTI ID:920828

Neagoe, Vicentiu ^[1]; Bishop, Matt ^[1]

---

1. University of California, Davis, CA

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

• Research Organization: Sandia National Laboratories
• Sponsoring Organization: USDOE
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 920828
• Report Number(s): SAND2004-5610
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
COMPUTER CODES
Computer Information Security
Computer programming management.
Computer security.
DEFECTS
DETECTION
SECURITY
SPECIFICATIONS
STANDARDIZED TERMINOLOGY
TESTING