Polyspace pour la Vérification de Code C/ c++
Afficher le calendrier et s' inrerDétails de la formation
Cette formation de deux jours se concentres sur l' using de Polyspace Code Prover™pour la vérification de Code, pour l'amélioration de sa qualité， et pour保险商l'intégrité du product final。Cette formation s' address aux ingénieurs qui développent des softwares ou des modèles pour des systèmes embarqués。Le troisième jour optionnel est disable pour les formation sur site unique。
Les thèmes component:
- Création d'un projet de vérification
- 讽刺des résultats de vérification
- 仿真环境d'exécution cible
- Gestion des functions et données manquantes
- Gestion du code non-prouvé (représenté en orange dans les producits Polyspace®）
- 应用程序règles MISRA C®
- Générer des rapports
的1
Aperçu de la méthode de travail avec Polyspace
目的:使用Polyspace Bug查找器和Polyspace代码验证器。
- 处理développement avec Polyspace
- 示例简单的de vérification
- 分析des défauts et des errors d'exécution
分析avec Polyspace Bug Finder
目的:Vérifier du code qui ne尊重pas forcément la norme ANSI C en tenant compte de l' environment d'exécution et corger les défauts et违例des règles de code avec Polyspace Bug Finder。
- 人工制品使用的环境d'exécution
- 操作du代码spécifique au procseur
- Définition du context d'exécution
- Réglage des信息sur le硬件cible
- 分析和解决défauts Polyspace Bug Finder
- Détection des违规de règles de code
- 度量des métriques
分析Résultats多空间码证明程序
目的:Vérifier du code qui ne尊重pas forcément la norme ANSI C en tenant compte de l' environment d'exécution et corger les défauts et违例des règles de code avec Polyspace Bug Finder。
- 人工制品使用的环境d'exécution
- 操作du代码spécifique au procseur
- Définition du context d'exécution
- Réglage des信息sur le硬件cible
- 分析和解决défauts Polyspace Bug Finder
- Détection des违规de règles de code
- 度量des métriques
分德contrôle德拉vérification德代码
目的:Trouver les errors d'exécution à l'aide des diagnostics disponibles dans Polyspace Code Prover。
- Vue d'ensemble des checks pour le code C
- 位置des检查源代码
- 描述des points de contrôles
- 选项实用程序à la vérification
的2
Gestion des vérifications et des résultats de Polyspace代码证明程序
目的:résultats de vérification qui continental un grand nombre de point de contrôle non-prouvés。
- Détermination de l'effort de vérification
- Revue主
- Revue sélective des检查橙色
- 配置de la précision de vérification
- 优先级des points de contrôle橙色
- 讽刺des点de contrôle橙色
Ajout de précision aux vérifications de Polyspace代码证明程序
目的:apndre注释Polyspace Code Prover gère le Code manquant lors de la vérification, et comment modifier ce comportement pour produire des résultats +显着。
- Vérification de robustesse et contextuelle
- Bouchonnage de function
- Spécification de plage de données
- Bouchonnage曼努埃尔
分析d 'integration
目的:跟随者评论gérer les vérifications lorsque la complexité du code augmente, et comment interpréter et compararer l' analyze d'intégration avec l' analyze de robustesse。
- 编写模块和代码
- 分析défauts d'intégration et违例des règles avec Polyspace Bug Finder et Polyspace Code Prover
- 进口评论
分析d 'application
目的:Revoir la procédure et les选项实用程序倒vérifier une应用程序complète。
- Mettre en place la vérification d'une应用程序
- Améliorer les résultats de la vérification d'une应用程序
- Détecter les problèmes de concurrent
- 比较分析鲁棒性和分析环境
- Créer la文档
的3
工作室(可选)
目的:多空间方向，根据你的计划。帕尔马干酪:
- 描述des检查Polyspace Bug Finder
- Vérification de code c++
- 分析de données partagées entre tâches
- Vérification de code généré
- Revue du procsus de développement
- Intégration du工作流程
- 安装客户端/服务器
- Polyspace的配置
- Interprétation des résultats
水平:Intermediaire
Pre-requis:
- Bonne connrenaissance du C ou c++
Duree:2天时间
语言:英语，日本語，한국어，中文
您也可以从以下列表中选择网站: