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

Cette formation de deux jours se concentre sur l'utilisation de Polyspace^® Bug Finder^™ et 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 est dédiée aux ingénieurs qui développent du logiciel ou des modèles visant à être embarqués. Le troisième jour optionnel est disponible pour les formations sur site uniquement. 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 cible
Gestion des fonctions et données manquantes
Gestion du code non-prouvé (représenté en orange dans Polyspace®)
Application des règles MISRA C^®
Générer des rapports

Voir le détail des formations

Pré-requis

Bonne connaissance du C ou 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 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 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
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 dans le code source
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 Import des commentaires
Anaalyse 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 de la documentation

Jour 3
Atelier pratique (optionnel)	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

Sessions garanties

Lorsque vous vous inscrivez à l'une de ces formations, nous vous garantissons qu'elle ne sera pas annulée ou reportée.

Calendrier des formations

Résultats 1 - 7 de 7

Dates	Lieu	Langue	Prix
17 Mar 2022- 18 Mar 2022	Virtuelle 9:00 am - 5:00 pm Heure d'Europe centrale	Allemand	USD 1,500
29 Mar 2022- 30 Mar 2022	Virtuelle 9:00 am - 5:00 pm Heure standard de Chine	Chinois	USD 1,500
06 Avr 2022- 07 Avr 2022	Virtuelle 9:00 am - 5:00 pm Heure d'été de l'Est des États-Unis	Anglais	USD 1,500
26 Mai 2022- 27 Mai 2022	Virtuelle 9:00 am - 5:00 pm Heure normale de Corée	Coréen	USD 1,500
14 Juin 2022- 15 Juin 2022	Virtuelle 9:00 am - 5:00 pm Heure d'été d'Europe centrale	Anglais	USD 1,500
21 Juin 2022- 22 Juin 2022	Virtuelle 9:00 am - 5:00 pm Heure standard de Chine	Chinois	USD 1,500
23 Juin 2022- 24 Juin 2022	Virtuelle 9:00 am - 5:00 pm Heure normale de l'Inde	Anglais	USD 1,500

Résultats 1 - 7 de 7

La tarification s'applique aux achats et à l'utilisation en États-Unis, Pour plus d’informations sur nos tarifs dans d’autres pays,contactez le service commercial. Le tarif du produit n’inclut pas les taxes de vente, d'utilisation, les accises, la taxe sur la valeur ajoutée et autres taxes. Les taxes, droits, prélèvements, cotisations et autres charges gouvernementales en vigueur exigibles en lien avec cet achat seront calculés dans la commande. Consultez les politiques de formation pour en savoir plus