Abstract Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process.
Flexibility is preserved, so that many testing strategies can be used.
Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles. All Rights Reserved. The full text of is available to members of the IEEE Computer Society who have an online subscription and an e-account .