Marco de plantilla de prueba

---

Test Template Framework ( TTF ) es un marco de prueba basado en modelos (MBT) propuesto por Phil Stocks y David Carrington en ( Stocks & Carrington 1996 ) con el propósito de probar software . Aunque el TTF estaba destinado a ser independiente de la notación, la presentación original se realizó utilizando la notación formal Z. Es uno de los pocos marcos MBT que se acercan a las pruebas unitarias .

El TTF es una propuesta específica de pruebas basadas en modelos (MBT). Considera que los modelos son especificaciones Z. Cada operación dentro de la especificación se analiza para derivar o generar casos de prueba abstractos . Este análisis consta de los siguientes pasos:

Una de las principales ventajas del TTF es que todos estos conceptos se expresan en la misma notación de la especificación, es decir, la notación Z. Por lo tanto, el ingeniero debe conocer solo una notación para realizar el análisis hasta la generación de casos de prueba abstractos .

Sea una operación Z. Sean todas las variables de estado de entrada y (no primadas) a las que se hace referencia en , y sus tipos correspondientes. El espacio de entrada (IS) de , escrito , es el cuadro de esquema Z definido por .${\displaystyle Op}$${\displaystyle x_{1}\puntos x_{n}}$${\displaystyle Op}$${\displaystyle T_{1}\puntos T_{n}}$${\displaystyle Op}$${\displaystyle IS_{Op}}$${\displaystyle [x_{1}:T_{1}\puntos x_{n}:T_{n}]}$

Sea una operación Z. Sea la condición previa de . El espacio de entrada válido (VIS) de , escrito , es el cuadro de esquema Z definido por .${\displaystyle Op}$${\displaystyle {\text{pre }}Operación}$${\displaystyle Op}$${\displaystyle Op}$${\displaystyle VIS_{Op}}$${\displaystyle [IS_{Op}|{\text{pre}}Op]}$

---