Polyspace pour la Vérification de Code C/C++

Cette formation de deux jours se concentre sur l'utilisation de Polyspace Code Prover pour la vérification de code, pour l'amélioration de sa qualité, et pour assurer l'intégrité du produit final. Cette formation s'adresse aux ingénieurs qui développent des softwares ou des modèles pour des systèmes embarqués. Le troisième jour optionnel est disponible pour les formations sur site uniquement. Les thèmes comprennent :

  • Création d'un projet de vérification
  • Revue des résultats de vérification
  • Emulation des environnements d'exécution cible
  • Gestion des fonctions et données manquantes
  • Gestion du code non-prouvé (représenté en orange dans les produits Polyspace®)
  • Application des règles MISRA C®
  • Générer des rapports

Pré-requis

Bonne connaissance du C ou C++

Voir le détail des formations