Test Template Framework
The Test Template Framework (TTF) is a model-based testing (MBT) framework proposed by Phil Stocks and David Carrington[1]. Although the TTF was meant to be notation-independent, the original presentation was made using the Z formal notation. It is one of the few MBT frameworks approaching unit testing.
Introduction
Important concepts
Testing tactic
Testing tree
Test class
Pruning testing trees
See also
- Fastest is an automatic implementation of the TTF.
References
- ^ Phil Stocks and David Carrington, "A framework for specification-based testing", IEEE Transactions on Software Engineering, vol. 22, no. 11, pp. 777--793, Nov. 1996.