Approaches to specification-based testing

Authors :: C. Tittle
Debra J. Richardson
Owen O'Malley
Source :: Symposium on Testing, Analysis, and Verification
Publication Year :: 1989
Publisher :: Association for Computing Machinery (ACM), 1989.
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.