Détecter les erreurs de design courantes
Avant de procéder à l’analyse de détection des erreurs de design, vérifiez que le modèle ne comporte pas de défauts à l’aide du Defect Checker. Defect Checker indique le nombre de défauts présents dans votre modèle tout au long de la phase de développement pour les erreurs de design courantes et critiques, telles que la division par zéro, le dépassement d’entier, la logique morte et l’indexation de tableaux hors limites.
Utiliser Defect Checker
Ouvrez le modèle sldvexDetectDesignErrorsExample. Dans l’onglet Design Verifier, vérifiez que Defect Checker est sélectionné.
Sinon, dans la boîte de dialogue Configuration Parameters, dans le volet Design Verifier > Design Error Detection, vérifiez que Defect Checker est sélectionné.
Procéder à une analyse
Pour détecter les erreurs de design courantes avec Defect Checker, dans l’onglet Design Verifier, cliquez sur Detect Design Errors.
Simulink Design Verifier analyse le modèle sldvexDetectDesignErrorsExample et recherche les défauts. Il affiche le nombre de défauts détectés au cours de l’analyse dans la fenêtre Results Summary.
Les résultats de l’analyse indiquent que le modèle présente trois défauts. Vous pouvez afficher le rapport d’analyse détaillé en cliquant sur HTML ou PDF dans la fenêtre Results Summary. Le rapport présente les objectifs en matière d’erreurs run-time avec les contre-exemples pour les blocs Sum, Divide et Abs. Pour plus d’informations sur l’état des objectifs, consultez Review Results.
Le chapitre Informations sur l’analyse du rapport indique que l’analyse du Defect Checker a effectué une vérification simplifiée des défauts courants.
