Tool support for the Test Template Framework

CRISTIÁ, MAXIMILIANO; ALBERTENGO, PABLO; FRYDMAN, CLAUDIA; PLÜSS, BRIAN; RODRÍGUEZ MONETTI, PABLO

SOFTWARE TESTING, VERIFICATION & RELIABILITY

JOHN WILEY & SONS LTD

Lugar: Londres; Año: 2014 vol. 24 p. 3 - 37

0960-0833

This paper describes tool support that has been implemented for the Test Template Framework (TTF).The TTF is a model-based testing (MBT) method which is especially well-suited for unit testing from Zspecifications. Although the TTF is a sound MBT method and it has been widely referenced since its firstpublication, attention in recent years has decayed. In fact, some have argued that generating abstract testcases following the TTF is a manual task requiring that its users perform complex predicate manipulations.This paper shows that these observations are dubious by describing Fastest, a tool that implements solutionsfor all these issues and, according to many experiments, produces abstract test cases for more than 80%of the satisfiable test specifications. Furthermore, it is claimed that Fastest fulfils the needs of the Z usercommunity regarding MBT tools, which is supported with a range of case studies.