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

Ce cours 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. Les ingénieurs qui travaillent sur le développement de logiciels embarqués tireront profit de cette formation. 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
Code non-prouvé (représenté en orange dans Polyspace)
Application des règles MISRA-C^®
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 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 correction des défauts et des violations des règles de codage avec Bug Finder. Artefacts usuels d'un environnement d'exécution Gestion de code spécifique à un processeur Définition du contexte d'exécution Configuration en fonction de la cible matérielle Analyse et gestion des défauts Bug Finder Détection des violations de règles de codage
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 Variable globale 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 points de contrôles de code source C Emplacement des points de contrôles dans le code source Description des points de contrôles Options utiles à la vérification

Jour 2
Gestion de la vérification Polyspace Code Prover Verifications et des résultats	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 oranges 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 Bug Finder et Code Prover Import des commentaires
Métriques et Rapports Web	Objectif: Utiliser l'outil Web metrics pour partager et stocker les résultats des vérifications, et générer des rapports. Partage de résultats Utilisation de la vue Web metrics Définition et suivi des objectifs de qualité logicielle Création de documentation
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

Jour 3
Mise en application pratique	Objectif: Revoir les acquis de la formation et utiliser Polyspace Code Prover directement sur un de vos projets. Les sujets peuvent être: Description des checks de 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 d'un projet dans Polyspace Interprétation des résultats

Session garantie

Lorsque vous vous inscrivez à une de ces formations, vous pouvez compter sur le fait qu'elle ne sera pas annulée ou reportée pour une raison quelconque.

Dates et Inscription

Résultats 1 - 4 sur 4

Dates	Lieu	Langue	Prix
03 oct, 2019- 04 oct, 2019	France, Paris (Meudon)	French	EUR 1,400
22 oct, 2019- 23 oct, 2019	US, Michigan, Novi	English	USD 1,500
05 nov, 2019- 06 nov, 2019	Chine, 北京	Chinese	CNY 6,000
28 nov, 2019- 29 nov, 2019	Inde, Bangalore	English	INR 30,000

Résultats 1 - 4 sur 4

La tarification s’applique aux achats et à l’utilisation en États-Unis, Pour plus d’informations sur nos tarifs dans d’autres pays, contactez notre service commercial. Nos tarifs n’incluent pas les taxes de vente, les taxes d’utilisation, les accises, les taxes sur la valeur ajoutée et d’autres taxes. Les taxes, droits, prélèvements, cotisations et autres frais administratifs en vigueur exigibles dans le cadre de cet achat figureront sur la commande. Consultez nos conditions générales de vente sur les formations MathWorks pour plus d’informations.