Polyspace Bug Finder

Traçabilité des résultats d’analyse du code jusqu’aux modèles Simulink

Vous pouvez utiliser Polyspace Bug Finder pour analyser le code généré ou le code mixte (qui contient à la fois le code généré et le code écrit manuellement). Les résultats de l’analyse des défauts du code généré automatiquement sont liés au modèle Simulink. Vous pouvez identifier les parties fiables du modèle et corriger les problèmes de conception à l’origine des erreurs apparaissant dans le code. De plus, vous pouvez identifier les problèmes susceptibles d’exister entre l’interface du code généré et l’interface du code écrit manuellement. Par exemple, lorsque du code manuel intégré via une S-Function est mélangé à du code généré, des plages erronées de signaux à l’interface peuvent provoquer une erreur d’exécution.

Polyspace Bug Finder prend également en charge la traçabilité des résultats dans les blocs dSPACE TargetLink et les modèles IBM Rational Rhapsody.

Tracing MISRA violations to the Simulink model.
Traçabilité des violations MISRA dans le modèle Simulink
Point suivant: Création d’artefacts de certification

Essayer Polyspace Bug Finder

Obtenir une version d'évaluation

Développez des tests pour des modèles Simulink et du code embarqué

Visionner le webinar