Integration Testing in the Test Template Framework

CRISTIÁ, MAXIMILIANO; MESURO, JOAQUÍN; FRYDMAN, CLAUDIA

Grenoble

Conferencia; 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014; 2014

The Test Template Framework (TTF) is a model-based testing method for the Z notation, originally proposed for unit testing. In this paper we analyze how the TTF can be extended to integration testing. Since integration testing is related to software design, we decided to investigate the relation between the TTF and the $\uses$ relation, a key element in David Parnas' design theory. We propose how a Z specification should be structured for the TTF to be able to generate integration tests by following the $\uses$ relation. The problem of stub generation and the kinds of errors that these integration tests can discover are also discussed.