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

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

Objectif: Devenir compétent dans l'interprétation des résultats Polyspace Code Prover.

• Notions d'interprétation abstraite
• Analyse de l'arbre d'appel
• Navigation dans le code source
• Chemins d'exécution
• Plages de valeurs des variables
• Variables globales dans le code source

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

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

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

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
• Import des commentaires

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 de la documentation

Objectif: Revoir les acquis de la formation et utiliser Polyspace directement sur un de vos projets. Les sujets peuvent être :

• 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