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

Ce cours 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. Les ingénieurs qui travaillent sur le développement de logiciels embarqués tireront profit de cette formation. 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
  • Code non-prouvé (représenté en orange dans Polyspace)
  • Application des règles MISRA-C®
  • Rapports

Pré-requis

Bonne connaissance du C ou C++

Voir le détail des formations