Formations MATLAB et Simulink

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

Afficher le calendrier et s'inscrire

Détails de la formation

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

Jour 1


Aperçu de la méthode de travail avec Polyspace

Objectif: Se familiariser avec Polyspace Bug Finder et Polyspace Code Prover au travers d'un exemple.

  • Process de développement avec Polyspace
  • Exemple simple de vérification
  • Analyse des défauts et des erreurs d'exécution

Analyse avec Polyspace Bug Finder

Objectif: Vérifier du code qui ne respecte pas forcément la norme ANSI C en tenant compte de l'environnement d'exécution et corriger les défauts et les violations des règles de codage avec Polyspace Bug Finder.

  • Artefacts usuels de l'environnement d'exécution
  • Manipulation du code spécifique au processeur
  • Définition du contexte d'exécution
  • Réglage des informations sur le harware cible
  • Analyse et gestion des défauts Polyspace Bug Finder
  • Détection des violations de règles de codage
  • Mesure des métriques

Analyse des Résultats de Polyspace Code Prover

Objectif: Vérifier du code qui ne respecte pas forcément la norme ANSI C en tenant compte de l'environnement d'exécution et corriger les défauts et les violations des règles de codage avec Polyspace Bug Finder.

  • Artefacts usuels de l'environnement d'exécution
  • Manipulation du code spécifique au processeur
  • Définition du contexte d'exécution
  • Réglage des informations sur le harware cible
  • Analyse et gestion des défauts Polyspace Bug Finder
  • Détection des violations de règles de codage
  • Mesure des métriques

Points de contrôle de la vérification de code

Objectif: Trouver les erreurs d'exécution à l'aide des diagnostics disponibles dans Polyspace Code Prover.

  • Vue d'ensemble des checks pour le code C
  • Position des checks dans le code source
  • Description des points de contrôles
  • Options utiles à la vérification

Jour 2


Gestion des vérifications et des résultats de Polyspace Code Prover

Objectif: Gestion des résultats de vérification qui contiennent un grand nombre de point de contrôle non-prouvés.

  • Détermination de l'effort de vérification
  • Revue rapide
  • Revue sélective des checks orange
  • Configuration de la précision de vérification
  • Priorisation des points de contrôle orange
  • Revue des points de contrôle orange

Ajout de précision aux vérifications de Polyspace Code Prover

Objectif: Apprendre comment Polyspace Code Prover gère le code manquant lors de la vérification, et comment modifier ce comportement pour produire des résultats plus significatifs.

  • Vérification de robustesse et contextuelle
  • Bouchonnage de fonction
  • Spécification de plage de données
  • Bouchonnage manuel

Analyse d'intégration

Objectif: Apprendre comment gérer les vérifications lorsque la complexité du code augmente, et comment interpréter et comparer l'analyse d'intégration avec l'analyse de robustesse.

  • Gestion des modules de code
  • Analyse des défauts d'intégration et violations des règles avec Polyspace Bug Finder et Polyspace Code Prover
  • Importation des commentaires

Analyse d'application

Objectif: Revoir la procédure et les options utiles pour vérifier une application complète.

  • Mettre en place la vérification d'une application
  • Améliorer les résultats de la vérification d'une application
  • Détecter les problèmes de concurrence
  • Comparer l'analyse de robustesse et l'analyse contextuelle
  • Créer la documentation

Jour 3


Atelier pratique (optionnel)

Objectif: Revoir les acquis de la formation et utiliser Polyspace directement sur un de vos projets. Parmi les sujets potentiels :

  • Description des checks de Polyspace Bug Finder
  • Vérification de code C++
  • Analyse de données partagées entre tâches
  • Vérification de code généré
  • Revue du processus de développement
  • Intégration du workflow
  • Installation du logiciel client/server
  • Configuration de Polyspace
  • Interprétation des résultats

Niveau: Intermédiaire

Pré-requis:

  • Bonne connaissance du C ou C++

Durée: 2 jours

Langues: English, 한국어, 中文

Afficher le calendrier et s'inscrire