Some attributes of a language for property-based testing.

Technical Report · Mon Nov 01 00: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 (SNL), Albuquerque, NM, and Livermore, CA (United States)
• Sponsoring Organization: USDOE
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 920828
• Report Number(s): SAND2004-5610; TRN: US200803%%42
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
STANDARDIZED TERMINOLOGY
SPECIFICATIONS
TESTING
COMPUTER CODES
SECURITY
DEFECTS
DETECTION
Computer Information Security
Computer security.
Computer programming management.