Services de formation

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

Ce cours de trois 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'integrité du produit final. Les ingénieurs qui travaillent sur le développement de logiciels embarqués tireront profit de cette formation. 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 cibles
  • Gestion des fonctions et données manquantes
  • Code non-prouvé (représenté en orange dans Polyspace)
  • Application des règles MISRA-C®
  • Rapports

Training Formats

Format Durée de la formation Sommaire de formation

En salle de formation

La formation est dispensée par un formateur MathWorks dans une salle de formation toute équipée. La formation peut se dérouler dans les bureaux MathWorks, dans différents endroits dans le monde, ou encore dans des salles de formation dans vos locaux.

3 jours Afficher les détails

En ligne animé par un formateur

La formation est dispensée en ligne et en direct par un formateur MathWorks. Son contenu, son déroulement et le support de cours sont identiques à un cours dans une salle de formation.

2 days Afficher les détails

Pré requis

Bonne connaissance du C ou C++