otra_produccion_autores: Cristiá, Maximiliano.

otra_produccion_resumen: The Test Template Framework (TTF) is a model-based test-ing 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 a key element of David Parnas´ design theory, namely the uses relation. 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 is also explored. Finally, we discuss the kinds of errors that these integration tests can discover.

otra_produccion_tipo_otra_produccion: Otro.

otra_produccion_pais: Argentina.

otra_produccion_anio: 2013