Extensión del TTF a testing de integración

El Test Template Framework (TTF) es un método de testing basado en modelos (Model Base Testing, MBT) para la notación Z, originalmente propuesto para el testing de unidad. En este trabajo analizamos cómo el TTF puede ser extendido para el testing de integración. Como el testing de integración está relacionado con el diseño del software, decidimos investigar la relación entre el TTF y un elemento clave de la teoría de diseño de David Parnas, la llamada relación "uses". Proponemos cómo debería estar estructurada una especificación Z para poder aplicarle el testing de integración a través de la relación "uses". Analizamos también el problema de la generación de "stubs", es decir, la substitución de unidades de implementación por otras triviales y correctas en pos de facilitar el testing. El TTF ha sido automatizado aproximadamente al mismo nivel que otros MBT por la herramienta Fastest. La herramienta ha sido adaptada y modificada para poder seguir el proceso de integración propuesto. Finalmente, discutimos los tipos de errores que el testing de integración puede descubrir. Además, parte del presente trabajo fue publicado como "Extending the TestTemplate Framework to Integration Testing" en la conferencia internacional Fundamental Approaches to Software Engineering (FASE) en abril de 2014.