Arcadia Papers: ABSTRACT
"Approaches to Specification-Based Testing",
by Debra J. Richardson, Owen O'Malley and Cindy Tittle in
Proceedings of the Third ACM SIGSOFT Symposium on Software Testing,
Analysis and Verification,
pages 86-96, Keywest, December 1989.
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.
The Arcadia Project
Last modified: Fri Nov 11 14:42:51 1994