Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest

En el testing basado en modelos (MBT), se busca generar casos de prueba para testear un programa utilizando únicamente un modelo del sistema en cuestión. El Test Template Framework (TTF) es un método de MBT que permite obtener casos de prueba abstractos a partir de una especificación Z del sistema. Para esto, define tácticas de testing que se aplican sobre el espacio de entrada de una operación de la especificación, particionándolo de distintas maneras según como sean aplicadas. Esto genera clases de prueba de las cuales se derivan los casos de prueba abstractos a utilizar en el testing. Fastest es una herramienta que automatiza gran parte del proceso de testing descripto por el TTF, pero no realiza de forma automática la generación de las clases de prueba, es decir, es el usuario quien debe aplicar manual y sucesivamente las tácticas a fin de dar forma y orientar el testing a las áreas deseadas. Este proceso requiere no sólo de un esfuerzo considerable por parte del usuario, sino también un gran conocimiento de los detalles de la especificación. En este trabajo se definen estrategias de testing las cuales combinan y aplican de forma automática las tácticas definidas en el TTF y Fastest con el fin de automatizar en mayor medida el proceso de generación de casos de prueba. Además, se define un lenguaje para la definición de estrategias de testing en Fastest.