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

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