Specification-Based Testing
"Approaches to Specification-Based Testing,"
by
D.J. Richardson, O. O'Malley, and C. Tittle
in Proceedings of ACM SIGSOFT Symposium on Software Testing,
Analysis and Verification , December 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.
from Debra J. Richardson
djr@ics.uci.edu
Department of Information and Computer Science,
University of California, Irvine CA 92717-3425