Examiner les résultats de l’analyse de détection des erreurs de design

Ouvrir le live script

Une fois l’analyse de détection des erreurs de design terminée :

  • Simulink® Design Verifier™ met en surbrillance le modèle avec les résultats de l’analyse.

  • La fenêtre Simulink Design Verifier Results Summary s’ouvre et affiche un résumé de l’analyse.

Mettre en surbrillance les résultats de l’analyse sur le modèle

Une fois l’analyse de détection des erreurs de design terminée, les résultats sont automatiquement mis en surbrillance dans le modèle sldvexDetectDesignErrorsExample.

1. Sélectionnez le bloc Sum. La fenêtre Results affiche les objectifs de dépassement d’entier du bloc Sum.

review_results_sum_block_counterexample.png

2. Pour débugger l’erreur de dépassement d’entier, cliquez sur View counterexample. Le modèle de harnais sldvexDetectDesignErrorsExample_harness et la boîte de dialogue Block Parameters Inputs s’ouvrent.

3. Dans la boîte de dialogue Block Parameters, et plus précisément dans la liste Active scenario, sélectionnez Counterexample_3. Cliquez sur Apply.

Le bloc Input du modèle de harnais indique que Counterexample_3 est le scénario actif.

design_error_detection_signal_editor_block.png

4. Double-cliquez sur le bloc Inputs pour ouvrir la boîte de dialogue Block Parameters.

5. Dans la boîte de dialogue Block Parameters, cliquez sur le bouton Open Signal Editor à partir de signal_editor_user_interface.png pour visualiser les scénarios.

overflow_test_case_result.png

Lorsque la valeur d’entrée de CounterExample_3.SensorA est 96 et que la valeur d’entrée de CounterExample_3.SensorB est 160, la sortie du bloc Sum déborde. Le type de données de l’accumulateur du bloc Sum est défini sur un type incorrect uint8, ce qui entraîne des erreurs de débordement et des erreurs de division par zéro sur le bloc Divide en aval.

Examiner le rapport d’analyse de détection des erreurs de design

Pour afficher le rapport d’analyse de détection des erreurs de design au format HTML, dans la fenêtre Results Summary, cliquez sur HTML. Le rapport au format HTML s’ouvre dans le MATLAB® Editor. La section Design Error Detection Objectives du rapport répertorie les objectifs de chaque élément du modèle et leur description.

Le rapport d’analyse indique que trois objectifs sont valides et que trois objectifs sont invalidés par des contre-exemples.

design_error_detection_analysis_report.png