Conceptos básicos sobre la generación de pruebas

Simulink^® Design Verifier™ es una herramienta potente que permite mejorar la fiabilidad y la solidez de los modelos de Simulink mediante la generación automatizada de pruebas. La funcionalidad Generate Tests facilita la creación de casos de prueba exhaustivos para descubrir errores de diseño, validar comportamientos de modelos y garantizar la cobertura de todos los requisitos funcionales. Mediante el aprovechamiento de métodos formales, Simulink Design Verifier explora de manera sistemática el espacio de estados del modelo para identificar escenarios de prueba críticos, de modo que se reducen los esfuerzos manuales de pruebas y se acelera el proceso de verificación. Puede seguir los pasos fundamentales descritos para generar y utilizar casos de prueba eficazmente, lo que garantiza que el modelo cumple los criterios de diseño especificados y funciona como se espera.