The Spec Validator provides functionality to load a specification and define test cases for each operation. When one or more test cases have been defined, the tool allows the cases to be individually validated, or validated altogether. The tool also provides an editing interface for the cases themselves, as well as for the preconditions and postconditions being tested.
Following an overview of the Spec Validator user interface, details of tool functionality are presented in the following usage scenarios: