Simulink Design Verifier

Identifique errores de diseño, demuestre el cumplimiento de requisitos y genere pruebas

Simulink® Design Verifier™ utiliza métodos formales para identificar errores de diseño ocultos en modelos. Detecta bloques en el modelo que dan como resultado un desbordamiento de enteros, lógica fallida, infracciones de acceso a arreglos y división por cero. Puede verificar formalmente que el diseño cumple con los requisitos funcionales. Por cada error de diseño o infracción de requisitos, se genera un caso de prueba de simulación para depuración.

Simulink Design Verifier genera casos de prueba para satisfacer los objetivos personalizados y de cobertura de modelos para ampliar los casos de prueba existentes basados en requisitos. Estos casos de prueba hacen que el modelo cumpla con los objetivos de cobertura de condición, decisión, condición/decisión modificada (MCDC) y personalizados. Además de los objetivos de cobertura, puede especificar objetivos personalizados de pruebas para generar automáticamente casos de prueba basados en requisitos.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for IEC 61508 and ISO 26262) y DO Qualification Kit (for DO-178).

Overview of Simulink Design Verifier workflow that inlcudes inputs, analysis modes, and outputs.

Introducción a SimulinkDesign Verifier

Aprender los aspectos básicos de Simulink Design Verifier

Preparar y analizar modelos

Identifique componentes analizables para pruebas unitarias o en nivel de sistema, resuelva incompatibilidades de modelos o tiempos de espera en el análisis

Detectar y solucionar errores

Detecte errores en tiempo de ejecución y errores lógicos, depure problemas de diseño

Especificar y verificar requisitos de diseño

Verifique el diseño en base a los requisitos, ajuste contraejemplos utilizando supuestos de entrada

Generar pruebas

Genere conjuntos de casos de prueba para lograr cobertura del modelo y del código, y cumplir los criterios personalizados de pruebas

Probar la equivalencia de modelos

Pruebe la equivalencia del comportamiento modelos y código generado, o de modelos ejecutados en diferentes versiones de Simulink

Revisar resultados de análisis

Registre y revise resultados de análisis, genere informes, inspeccione casos de prueba

Calificación y certificación de herramientas

Cualifique Simulink Design Verifier para la certificación IEC