Detectar errores de diseño en un modelo

El análisis de detección de errores de diseño determina las condiciones que generan errores que se detectan con Simulink^® Design Verifier™. El análisis de detección de errores de diseño también calcula un rango de valores de señal que puede darse para puertos de salida de bloques y datos locales de Stateflow^® en el modelo.

Para analizar el modelo en busca de errores de diseño:

1. Verifique que el modelo sea compatible con el software Simulink Design Verifier. Especifique una configuración del modelo que controle cómo Simulink Design Verifier detecta los errores de diseño en el modelo.

2. Utilice Defect Checker para detectar errores de diseño comunes en el modelo.

3. Realice un análisis de detección de errores de diseño para los errores seleccionados.

4. Después del análisis, revise los resultados.

   • Haga clic en los bloques individuales para ver los resultados del análisis de ese bloque.

   • Cree un modelo de arnés que contenga casos de prueba que demuestren los errores.

   • Cree un informe de análisis que contenga resultados detallados para todo el modelo.

5. Solucione los errores de diseño identificados durante el análisis.

Modelo de ejemplo

Este tutorial utiliza un modelo de controlador sldvexDetectDesignErrorsExample que tiene tres entradas de sensor: SensorA, SensorB y SensorC. En este tutorial, realizará un análisis de detección de errores de diseño para errores de desbordamiento de enteros y división por cero en el modelo.

Simulink Design Verifier identifica las construcciones del modelo que pueden provocar desbordamientos de enteros y, o bien demuestran que el desbordamiento de enteros no puede producirse durante la simulación o bien genera casos de prueba que demuestran el error de desbordamiento de enteros. El algoritmo del controlador genera salidas según los valores de SensorA y SensorB:

El modelo sldvexDetectDesignErrorsExample incorpora este algoritmo utilizando bloques Simulink.

En este tutorial, aprenderá a:

1. Preparar el modelo para el análisis de detección de errores de diseño y comprobar la compatibilidad del modelo.

2. Utilizar Defect Checker para detectar defectos en el modelo.

3. Realizar análisis de detección de errores de diseño en el modelo.

4. Visualizar los resultados haciendo clic en los componentes resaltados del modelo o creando un arnés o un informe de análisis.

5. Solucionar los errores de diseño identificados.

Para empezar este tutorial, consulte Preparar modelo para análisis de detección de errores de diseño.