Coronavirus Disease 2019 (COVID-19) Update

Due to heightened concerns regarding the outbreak of COVID-19, we are adding more instructor-led online training courses as to classroom courses.

Dates et Inscription

Conditions préalables

Bonne connaissance du C ou C++

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 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 correction des défauts et des violations des règles de codage avec Polyspace 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 Polyspace Bug Finder Détection des violations de règles de codage Mesure des métriques du 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 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 Polyspace Bug Finder et Polyspace 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 Créer de la documentation

Jour 3
Mise en application pratique	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 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 - 5 sur 5

Dates	Lieu	Langue	Prix
08 oct, 2020- 09 oct, 2020	En ligne 9:00 a.m. - 5:00 p.m. Central European Standard Time	French	USD 1,500
21 oct, 2020- 22 oct, 2020	En ligne 09:00 - 17:00 Heure avancée de la Côte Ouest des États-Unis	English	USD 1,500
05 nov, 2020- 06 nov, 2020	En ligne 09:00 - 17:00 Heure normale de Corée	Korean	USD 1,500
24 nov, 2020- 25 nov, 2020	En ligne 09:00 - 17:00 Heure standard d'Europe centrale	English	USD 1,500
08 déc, 2020- 09 déc, 2020	En ligne 09:00 - 17:00 Heure standard de Chine	Chinese	USD 1,500

Résultats 1 - 5 sur 5

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.