A framework for specification-based testing

P. Stocks, D. Carrington
1996 IEEE Transactions on Software Engineering  
Test templates and a test template framework are introduced as useful concepts in specification-based testing The framework can be defined using any model-based specification notation and used to derive tests from model-based specificationsin this paper, it is demonstrated using the Z notation. 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
more » ... 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.
doi:10.1109/32.553698 fatcat:5nmac6xefrdhtfybaqnsr3um2i