Polyspace Code Prover

Traçabilité des résultats de vérification du code jusqu’aux modèles Simulink

Vous pouvez utiliser Polyspace Code Prover pour vérifier du code généré ou du code mixte (contenant à la fois du code généré et du code manuel). Les résultats des défauts identifiés dans le code généré automatiquement sont retracés jusqu’au modèle dans Simulink. Vous pouvez identifier les parties du modèle qui sont fiables et corriger les problèmes de conception à l’origine des erreurs dans le code. De plus, vous pouvez identifier les potentiels problèmes entre l’interface du code généré et le code écrit manuellement. Ainsi, le mélange de codemanuel contenu dans une S-Function avec du code généré peut être source d’erreur d’exécution si les plages de valeurs des signaux à l’interface sont erronées.

Polyspace Code Prover assure également la traçabilité des résultats de vérification de code vers les blocs dSPACE® TargetLink® et les modèles IBM Rational Rhapsody.

Tracing code verification results to the Simulink model.

Traçabilité des résultats de vérification du code jusqu’au modèle Simulink.

Point suivant: Automatisation du processus de vérification du code

Essayer Polyspace Code Prover

Obtenir une version d'évaluation

Automatiser et optimiser la vérification et le test de logiciel embarqué

Visionner le webinar