Uso del package en el patrón de test

El siguiente paso en la generación de una tabla de test consiste en colocar la tabla de test en un package

Se elimina así la cantidad de líneas de código en el modelo de test permitiendo una comprensión más rápida del modelo

Ejemplo

La comprobación del contador exige ahora dos ficheros:

- El package que contiene el patrón de verificación:

- El modelo de test que aplica el patrón de verificación al DUT:

La gráfica siguiente muestra el resultado de la verificación en este caso