Corriger les erreurs de design d’un modèle
Pour ce modèle, l’analyse de détection des erreurs de design a permis de détecter des erreurs de dépassement d’entier et de division par zéro. Les erreurs ont été causées par une incompatibilité dans le type de données de l’entier. Vous corrigez ces erreurs de design en modifiant les paramètres du modèle, en réexécutant l’analyse et en affichant les résultats.
Modifier les paramètres du modèle afin de corriger les erreurs
Pour corriger les erreurs, modifiez les paramètres Accumulator data type et Output data type en uint16 pour gérer la plage des valeurs de signal possibles.
Ouvrez le modèle sldvexDetectDesignErrorsExample :
open_system("sldvexDetectDesignErrorsExample");Double-cliquez sur le bloc Sum et, dans la boîte de dialogue Block Parameters, définissez Accumulator data type et Output data type sur uint16.
Pour enregistrer les modifications, cliquez sur Apply et sur OK.
Réexécuter l’analyse
Exécutez l’analyse de détection des erreurs de design pour voir si vous avez résolu les erreurs. Dans l’onglet Design Verifier, cliquez sur Detect Design Errors. La fenêtre Results Summary indique que l’ensemble des six objectifs sont valides.
Lorsque vous simulez le cas de test pour le bloc Sum, vous remarquerez que le cas de test résout l’erreur.
Dans la fenêtre Results Summary, cliquez sur HTML pour afficher le rapport d’analyse détaillé. Le logiciel génère un rapport d’analyse détaillé qui s’ouvre dans MATLAB® Editor. Pour le modèle sldvexDetectDesignErrorsExample, le chapitre du rapport consacré à l’état des objectifs de détection des erreurs de design propose des résultats détaillés pour les objectifs valides, en indiquant les objets du modèle qui n’ont pas produit d’erreurs.
Voir aussi
Simulink Design Verifier Analysis Fundamentals | What Is Design Error Detection? | Check Model Compatibility for Analysis | Review Results
