Mi pregunta es la siguiente:
Suponiendo que he desarrollado un controlador integrado (placa) que tiene algunas decenas de entradas y salidas digitales. Tiene firmware incorporado, que realiza algunas funciones lógicas. Tengo un banco de pruebas automático que permite realizar pruebas funcionales de los tableros de producción. Puede simular cualquier combinación de señal de entrada y leer, lo que el controlador proporciona en sus salidas. También puede, por ejemplo, encender y apagar o cambiar el voltaje de la fuente de alimentación para verificar el funcionamiento correcto en diferentes condiciones.
Ahora, el punto: ¿existen metodologías comunes para generar vectores de prueba que permitan un 100% de cobertura de prueba de mi HW y, en el mejor de los casos, con una cantidad mínima de pruebas? P.ej. Quiero que mi controlador sea 100% probado. Actualmente, todos los tableros se prueban manualmente, pero esto requiere mucho tiempo y estoy seguro de que no obtengo una cobertura del 100%.