Approaches to Speci cation-Based Testing


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} }