Revisar resultados del análisis de detección de errores de diseño

Abrir script en vivo

Cuando se completa el análisis de detección de errores de diseño:

  • Simulink® Design Verifier™ resalta los resultados del análisis en el modelo.

  • Se abre la ventana Results Summary de Simulink Design Verifier y se muestra un resumen del análisis.

Resaltar resultados del análisis en un modelo

Una vez que se completa el análisis de detección de errores de diseño, los resultados se resaltan automáticamente en el modelo sldvexDetectDesignErrorsExample.

1. Seleccione el bloque Sum. La ventana de resultados muestra los objetivos de desbordamiento de enteros del bloque Sum.

review_results_sum_block_counterexample.png

2. Para depurar el error de desbordamiento de enteros, haga clic en View counterexample. Se abren el modelo de arnés sldvexDetectDesignErrorsExample_harness y el cuadro de diálogo Block Parameters del bloque Inputs.

3. En el cuadro de diálogo Block Parameters, en la lista Active scenario, seleccione Counterexample_3. Haga clic en Apply.

El bloque Input del modelo de arnés indica Counterexample_3 como escenario activo.

design_error_detection_signal_editor_block.png

4. Haga doble clic en el bloque Inputs para abrir el cuadro de diálogo Block Parameters.

5. En el cuadro de diálogo Block Parameters, haga clic en el botón Open Signal Editor de signal_editor_user_interface.png para visualizar los escenarios.

overflow_test_case_result.png

Cuando el valor de entrada de CounterExample_3.SensorA es 96 y el valor de entrada de CounterExample_3.SensorB es 160, la salida del bloque Sum se desborda. El tipo de datos del acumulador del bloque Sum está establecido en un tipo uint8 incorrecto, lo que genera errores de desbordamiento y de división por cero en el bloque Divide posterior.

Revisar un informe de análisis de detección de errores de diseño

Para ver el informe HTML del análisis de detección de errores de diseño, en la ventana Results Summary, haga clic en HTML. El informe HTML se abre en MATLAB® Editor. La sección Design Error Detection Objectives del informe enumera los objetivos de cada elemento del modelo y su descripción.

El informe del análisis muestra que tres objetivos son válidos y que tres objetivos están falsificados con contraejemplos.

design_error_detection_analysis_report.png