Pruebas para análisis de cobertura de modelos

Cree automáticamente casos de prueba para una validación exhaustiva

El análisis de cobertura de modelos de Simulink® Design Verifier™ hace referencia al proceso de evaluar el grado de exhaustividad con el que se prueba un modelo de Simulink examinando qué partes del modelo se ejecutan durante la simulación. Es un paso crucial en la verificación y la validación de un modelo para garantizar que se han cubierto y probado todos los aspectos del diseño. El análisis ayuda a identificar partes no probadas del modelo, que podrían generar errores o fallos no detectados.

Mediante la realización del análisis de cobertura de modelos puede:

  • Identificar casos de prueba faltantes.

  • Mejorar la calidad y la fiabilidad del modelo.

  • Garantizar el cumplimiento de los estándares de la industria que requieren niveles específicos de cobertura.

Simulink Design Verifier integra estos análisis en el flujo de trabajo de prueba, proporcionando informes detallados y visualizaciones para ayudar a comprender las deficiencias de cobertura y mejorar la integridad de las pruebas.

Temas