Specification-Based Testing
"Approaches to Specification-Based Testing",
by D. Richardson, O. O'Malley and C. Tittle
in Proceedings of ACM SIGSOFT Symposium on Software Testing,
Analysis and Verification
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.
Top: Owen O'Malley