目的:熟悉Polyspace Bug Finder和Polyspace Code Prover的例子。

• 处理développement avec Polyspace
• 举个简单的例子
• 分析défauts和'exécution的错误

目的:Vérifier du code qui ne respect pas forcément la norme ANSI C en tenant compte de l’environment d'exécution et corriger les défauts et les violations de règles de codage avec Polyspace Bug Finder。

• 人工制品usuels de l' environned 'exécution
• 操作du代码spécifique au processor
• Définition du contexte d'exécution
• Réglage在硬件上提供信息
• 分析défauts Polyspace Bug查找器的问题
• Détection des违反règles de codage
• 序metriques

目的:Devenir compétent dans l'interprétation des résultats Polyspace代码验证。

• 概念d 'interpretation abstraite
• 分析上诉树
• 导航丹勒代码的源代码
• Chemins d 'execution
• 变量的值
• 变量在源代码中全局执行

目的:通过Polyspace代码验证程序可以解决'exécution à的诊断错误。

• 代码C的检查集合
• 位置的检查在源代码
• 描述描述了contrôles的要点
• 选项实用程序à la vérification

目的:这个问题是résultats de vérification，这是一个大的数字。

• Détermination de l'effort de vérification
• Revue主
• Revue sélective des是橙色的
• 配置précision de vérification
• 优先级为contrôle橙色
• 讽刺点contrôle橙色

目的:添加注释Polyspace Code Prover gère le Code manquant lors de la vérification, et comment modifier ce comportement pour produce des résultats plus significatifs。

• Vérification de robustesse et contextuelle
• Bouchonnage de函数
• Spécification de plage de données
• Bouchonnage曼努埃尔

目的:附录: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 robust。

• 模块解析代码
• 分析défauts d'intégration和违反règles avec Polyspace Bug Finder和Polyspace Code Prover
• 进口des commentaires

目的:Revoir la procédure et les options utility pour vérifier une application complète。

• 请放在vérification的地方申请
• Améliorer les résultats de la vérification d'une application
• Détecter les problèmes de concurrence
• 比较健壮性分析和上下文分析
• Créer de la文档

目的:在项目中获取和使用多边形空间方向。Les sujets peuvent être:

• 描述检查Polyspace Bug Finder
• Vérification代码c++
• 分析données partagées entre tâches
• Vérification code généré
• développement的过程讽刺剧
• 杜集成工作流
• 安装客户端/服务器
• 配置de Polyspace
• 解释的结果