Tool support for the Test Template Framework (pages 3–37)
Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman, Brian Plüss and Pablo Rodríguez Monetti
Version of Record online: 13 JUL 2012 | DOI: 10.1002/stvr.1477
Fastest provides tool support for a solid, model-based testing framework for the Z notation known as the Test Template Framework (TTF). The Test Template Framework uses only Z and is aimed mainly to unit testing. The tool automates testing tactic application and semi-automates elimination of unsatisfiable test specifications, generation of abstract test cases and translation of test cases into natural language. Copyright © 2012 John Wiley & Sons, Ltd.