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

Cette formation de deux jours se concentre sur l'utilisation de Polyspace® Bug Finder et 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 est dédiée aux ingénieurs qui développent du logiciel ou des modèles visant à être embarqués. Le troisième jour optionnel est disponible pour les formations sur site uniquement. Les sujets traités sont :

  • 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 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