Contenido principal

Detectar y solucionar errores en tiempo de ejecución

Detecte errores de diseño, genere contraejemplos

Detecte errores de diseño ocultos en el modelo, como desbordamientos de enteros o división por cero, en una fase temprana del proceso de verificación. Realice un análisis de detección de errores de diseño, revise los resultados del análisis, genere contraejemplos para depurar funcionalidades no deseadas y, después, solucione los errores de diseño identificados.

Funciones

sldvextractExtract subsystem or subchart contents into new model for analysis
sldvoptionsCreate design verification options object
sldvrunAnalyze model
sldvreportGenerate Simulink Design Verifier report
sldvmakeharnessGenerate harness model

Temas

Ejemplos destacados