Skip to main content
Open Access Publications from the University of California

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.

Main Content
Current View