Realizar análisis de detección de errores de diseño
Realice análisis de detección de errores de diseño para los errores seleccionados después de detectar defectos utilizando Defect Checker. En este modelo, se detectan errores en tiempo de ejecución, errores de división por cero y errores de desbordamiento de datos de punto fijo y enteros.
Analizar modelo para detectar errores de diseño
Abra el modelo sldvexDetectDesignErrorsExample.
En la pestaña Design Verifier, desactive Defect checker.
Abra el cuadro de diálogo Configuration Parameters. En el panel Design Verifier > Design Error Detection, verifique que Integer overflow y Division by zero están seleccionados.
Haga clic en Apply y OK para guardar los cambios.
En la pestaña Design Verifier, haga clic en Detect Design Errors.
El software analiza el modelo para detectar errores de diseño y muestra los resultados en la ventana Results Summary. Los resultados indican que tres de seis objetivos estaban falsificados.
Después, revise los resultados del análisis de detección de errores de diseño.
