Donald Bren School of Information and Computer Sciences
Approaches to specification-based testing
- Author(s): Richardson, Debra
- O'Malley, Owen
- Tittle, Cindy
- et al.
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 that extend implementation-based testing techniques. We demonstrate these approaches for the Anna and Larch specification languages.