Generar pruebas

Simulink^® Design Verifier™ genera automáticamente casos de prueba que permiten evaluar el comportamiento del modelo de manera exhaustiva. Los casos de prueba ayudan a confirmar el rendimiento del modelo demostrando cómo se ejecutan los bloques del modelo en distintos modos. Cuando se generan casos de prueba, el software realiza un análisis formal del modelo. Después de completar el análisis, el software proporciona varias formas de revisar los resultados. Para obtener más información, consulte Generar casos de prueba para un modelo. Mediante la generación de casos de prueba, Simulink Design Verifier ayuda a cumplir los objetivos de cobertura del modelo, como la cobertura de condición/decisión modificada (MC/DC) y el análisis de valor límite. Este análisis no solo mejora la fiabilidad del modelo, sino que también acelera el proceso de verificación reduciendo los esfuerzos manuales de pruebas. Los casos de prueba generados se pueden usar para validar el modelo con respecto requisitos especificados, garantizando el cumplimiento de los estándares de la industria y reduciendo el riesgo de errores en etapas posteriores de desarrollo.