Work

Approaches to specification-based testing

Year: 1989

Type: conference-paper

Abstract: Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged benefits of testing based on software specifications. We propose approaches to specification-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal specification languages. We demonstrate these approaches for the Anna and Larch specification languages.

Source: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/75308.75319

Authors: D. Richardson, O. O'Malley, C. Tittle

Institution: University of California, Irvine

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Defense Advanced Research Projects Agency, Advanced Research Projects Agency

Award: Software Environments Supporting the Development of ReliableConcurrent and Real-Time Software