Approaches to Speci cation-Based Testing

Abstract

Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged bene ts of testing based on software speci cations. We propose approaches to speci cation-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal speci cation languages. We demonstrate these approaches for the Anna and Larch speci cation languages.

9 Figures and Tables

Cite this paper

@inproceedings{Richardson1989ApproachesTS, title={Approaches to Speci cation-Based Testing}, author={Debra J. Richardson and Owen O'Malley and C. Tittle}, year={1989} }