Poda de árboles de Testing a través de la detección de contradicciones matemáticas

El Test Template Framework (TTF) es un framework para testing basado en modelos (MBT), especialmente adecuado para testing de unidad. Fue propuesto por Phil Stocks y David Carrington. En el TTF el espacio de entrada de una operación Z es particionado en lo que se denominan clases de test, las cuales dan lugar a los árboles de testing. Stocks y Carrington sugieren que los casos de test o casos de prueba deben ser derivados solo de las hojas de dichos árboles. El problema que surge es que, debido a ciertas particularidades del TTF, pueden existir hojas de las cuales no es posible obtener un caso de prueba debido a que sus predicados son contradicciones o contienen ciertos términos indefinidos. Por lo tanto, estas hojas deberían ser podadas del árbol de test en una etapa previa al proceso de derivación de casos de prueba. En este trabajo se presenta una propuesta para la poda de arboles de testing en el contexto del TTF y se implementa dicha propuesta en Fastest. Fastest es la primera herramienta que implementa y automatiza el TTF.