Solucionar errores de diseño en un modelo
En este modelo, el análisis de detección de errores de diseño ha encontrado errores de desbordamiento de enteros y división por cero. Los errores se deben a una discrepancia en el tipo de datos entero. Estos errores de diseño se solucionan modificando los parámetros del modelo, volviendo a ejecutar el análisis y visualizando los resultados.
Modificar parámetros del modelo para solucionar errores
Para solucionar los errores, cambie los parámetros Accumulator data type y Output data type a uint16 para gestionar el rango de posibles valores de señal.
Abra el modelo sldvexDetectDesignErrorsExample:
open_system("sldvexDetectDesignErrorsExample");Haga doble clic en el bloque Sum y, en el cuadro de diálogo Block Parameters, establezca Accumulator data type y Output data type en uint16.
Haga clic en Apply y OK para guardar los cambios.
Volver a ejecutar el análisis
Ejecute un análisis de detección de errores de diseño para ver si ha solucionado los errores. En la pestaña Design Verifier, haga clic en Detect Design Errors. La ventana Results Summary indica que seis de seis objetivos son válidos.
Cuando simula el caso de prueba para el bloque Sum, observe que el caso de prueba resuelve el error.
En la ventana Results Summary, haga clic en HTML para ver un informe detallado del análisis. El software genera un informe detallado del análisis que se abre en MATLAB® Editor. Para el modelo sldvexDetectDesignErrorsExample, la sección Design Error Detection Objectives Status del informe presenta los resultados detallados para los objetivos válidos mostrando objetos modelo que no generaron errores.
Consulte también
Simulink Design Verifier Analysis Fundamentals | What Is Design Error Detection? | Check Model Compatibility for Analysis | Review Results
