Exécuter l’analyse de détection des erreurs de design
Après avoir détecté la présence de défauts au moyen du Defect Checker, procédez à une analyse de détection des erreurs de design pour les erreurs sélectionnées. Pour ce modèle, vous détectez les erreurs run-time, y compris les erreurs de division par zéro et les erreurs de dépassement de données d’entier et à point fixe.
Analyser le modèle et déceler les erreurs de design
Ouvrez le modèle sldvexDetectDesignErrorsExample.
Dans l’onglet Design Verifier, désélectionnez Defect checker.
Ouvrez la boîte de dialogue Configuration Parameters. Dans le volet Design Verifier > Design Error Detection, vérifiez que Integer overflow et Division by zero sont sélectionnées.
Pour enregistrer les modifications, cliquez sur Apply et sur OK.
Dans l’onglet Design Verifier, cliquez sur Detect Design Errors.
Le logiciel analyse le modèle à la recherche d’erreurs de design et affiche les résultats dans la fenêtre Results Summary. Les résultats indiquent que trois objectifs sur six ont été invalidés.
Examinez ensuite les résultats de l’analyse de détection des erreurs de design.
