Examiner les résultats Polyspace

Nous contacter pour planifier la formation

Détails de la formation

Cette formation pratique d’une journée traite de l’interprétation et de l’examen des résultats de Polyspace Bug Finder et Polyspace Code Prover dans Polyspace Access pour éliminer les défauts de codage, améliorer les métriques de qualité du software et assurer l’intégrité du produit. Elle s’adresse aux ingénieurs qui examinent les résultats dans Polyspace Access et doivent modifier leur software en conséquence.

Parmi les sujets abordés :

Examiner et comprendre les résultats d'analyse
Gérer le code non prouvé (représenté en orange dans Polyspace Code Prover)
Gérer les violations des règles de codage
Collaborer avec des collègues dans l’interface web

Jour 1 sur 1

Analyse avec Polyspace Bug Finder

Objectif: Corriger les défauts et les violations des règles de codage.

Présentation du tableau de bord Polyspace Access
Analyse et gestion des défauts détectés par Polyspace Bug Finder
Examen des violations des règles de codage
Examen des métriques de code

Analyse des Résultats de Polyspace Code Prover

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

Gérer les résultats de Polyspace Code Prover

Objectif: Gérer les résultats de vérification qui contiennent des points de contrôle non prouvés. Comprendre comment une configuration appropriée peut donner davantage d’informations sur le contexte d’exécution.

Détermination de l'effort de vérification
Vérification des hypothèses
Revue sélective des points de contrôle orange
Priorisation et examen des points de contrôle orange
Examen des résultats contextuellement spécifiques avec des contraintes
Identification des indicateurs qui révèlent qu’une modification des options d’analyse est nécessaire

Intégration et analyse d'application

Objectif: Interpréter les problèmes d’intégration détectés par Polyspace Bug Finder et Polyspace Code Prover. Comparer la vérification d’une seule unité et d’un composant intégré.

Comprendre l’impact de l’intégration sur la vérification
Examiner les problèmes qui apparaissent après l’intégration d’un composant
Collaborer avec des collègues dans l’interface web

Niveau: Intermédiaire

Pré-requis:

La connaissance de C ou du C++ est recommandée.

Durée: 1 jour

Langues: English

Nous contacter pour planifier la formation

Formations associées

Polyspace pour la vérification de code C/C++

Prouvez la conformité du code, révisez et comprenez les résultats des vérifications, gérez les fonctions et les données manquantes, mesurez les métriques de qualité logicielle et appliquez les règles MISRA C.