Detectar errores de diseño comunes
Antes de realizar análisis de detección de errores de diseño, compruebe si el modelo tiene defectos utilizando Defect Checker. Defect Checker informa sobre el número de defectos del modelo a lo largo de toda la fase de desarrollo para errores de diseño comunes y críticos, como división por cero, desbordamiento de enteros, lógica fallida y arreglo fuera de límites.
Utilizar Defect Checker
Abra el modelo sldvexDetectDesignErrorsExample. en la pestaña Design Verifier y verifique que Defect Checker está seleccionado.
De forma alternativa, en el cuadro de diálogo Configuration Parameters, en el panel Design Verifier > Design Error Detection, verifique que Defect Checker está seleccionado.
Realizar análisis
Para detectar errores de diseño comunes utilizando Defect Checker, en la pestaña Design Verifier, haga clic en Detect Design Errors.
Simulink Design Verifier analiza si el modelo sldvexDetectDesignErrorsExample tiene defectos y muestra el número de defectos encontrados durante el análisis en la ventana Results Summary.
Los resultados del análisis indican que hay tres defectos en el modelo. Puede ver el informe del análisis detallado haciendo clic en HTML o PDF en la ventana Results Summary. El informe muestra objetivos de errores en tiempo de ejecución con los contraejemplos para los bloques Sum, Divide y Abs. Para obtener más información sobre el estado de los objetivos, consulte Review Results.
El capítulo Analysis Information del informe indica que el análisis del comprobador de defectos ha realizado una comprobación simplificada de defectos comunes.
