Nuestra idea principal es ver de conseguir una verificación «random», de forma que podamos de manera suficientemente automatizada, probar todos los casos de verificación que nos hemos propuesto en nuestro plan de verificación.
Para ello debemos seguir los siguientes pasos
- Generar pruebas aleatorias usando “random constrained stimuli generation”(RCSG).
- ACCIÓN DEFINICION: Se definen variables aleatorias y restricciones que deben de cumplir cada vez que sea aleatorizadas
- ACCIÓN RANDOMIZACIÓN: Se pide al “random solver» que encuentre un conjunto aleatorio de variables que satisfaga las restricciones
- ACCIÓN DRIVER: Los valores obtenidos son conducidos a las entradas del DUV
- Observamos en el DUV si hay errores en los comportamientos esperados y los corregimos si los hay
- Comprobamos el grado de cobertura funcional conforme voy estimulando mi DUV con los nuevos estímulos que estoy generando. Si no satisface ciertos casos (porque no llega a probarlos) o avanza demasiado lentamente a la hora de comprobar nuevos casos, quizá sea necesario agregar nuevas restricciones, deshabilitarlas o redirigirlas y repetir desde 1 para mejorar la cobertura .
Vamos pues a centrarnos en cómo y donde hacer estas ACCIONES del punto 1