OBJECTIF：硒familiariser AVEC Polyspace Bug的搜索等Polyspace代码证明器AU特拉弗斯科特迪瓦联合国为例。

• 处理去发展协会AVEC Polyspace
• 为例简单去验证
• 分析DESdéfauts和des erreurs科特迪瓦执行

OBJECTIF：验证码杜魁NE respecte PASforcément拉norme ANSI C EN租户孔特DE L'环境在科特迪瓦执行，等校德défauts等违反宫德règles德codage AVEC Polyspace Bug的搜索。

• 文物usuels科特迪瓦联合国环境在科特迪瓦执行
• GESTION DE代码spécifique联合国processeur
• 定义杜contexte D'执行
• 配置连接fonction德拉ciblematérielle
• 分析等GESTION DESdéfautsPolyspace Bug的搜索
• 检测DES违规德règles德codage
• MESURE德métriques杜代码

OBJECTIF：Devenir主管丹斯欧莱雅解释DESrésultatsPolyspace代码证明者。

• 概念解释德abstraite
• 分析DE L'ARBRE APPEL D'
• 导航丹斯乐源代码
• CHEMINS D'执行
• 谱斑德valeurs DES变量
• 可变globale丹斯乐源代码

OBJECTIF：已找到莱erreurs科特迪瓦执行的L'助手德诊断disponibles丹斯Polyspace代码证明者。

• Vue公司德合奏DES点德CONTROLES德代码C源
• 炮台DES点德CONTROLES丹斯乐源代码
• 说明DES点德CONTROLES
• 选项效用单位点菜验证

OBJECTIF：GESTION DESrésultats去验证魁contiennent未盛大农布雷迪奥斯点去CONTROLE非prouvés。

• 测定DE L'精力去验证
• 歌剧团RAPIDE
• 歌剧团选择性DES橙子
• 配置德拉精密德验证
• 工作优先次序DES点德CONTROLE橙色
• 歌剧团DES点德CONTROLE橙色

OBJECTIF：Apprendre评论Polyspace代码证明者基尔勒代码manquant的LOR德拉验证等意见修改CE comportement倒produire DESrésultats加significatifs。

• 验证德robustesse等contextuelle
• Bouchonnage德fonction
• 规格德谱斑德最近搜索
• Bouchonnage曼努埃尔

OBJECTIF：Apprendre评论gérer莱验证lorsque拉complexité杜代码augmente，等翻译评论等比较器L'分析D'整合AVEC L'分析德robustesse。

• GESTION DES模块德码
• 分析DESdéfautsD'集成等违法行为德règlesAVEC Polyspace Bug的搜索等Polyspace代码证明器
• 进口DES住客评论

OBJECTIF：Utiliser L'OUTIL网络测量倒partager等储存器莱résultatsDES验证等générerDES rapports。

• Partage德résultats
• 利用德拉VUE网络指标
• 定义等suivi德objectifs德QUALITE logicielle
• 创建德文档

OBJECTIF：一页拉过程和les选择效用单位倒验证UNE应用程序完成。

• Mettre连接处拉验证D'UNE应用
• Améliorer莱résultats德拉验证D'UNE应用
• Détecter莱problèmes德同意
• 比较器L'分析德robustesse和l'分析contextuelle
• Créer德拉文档

OBJECTIF：一页莱acquis德拉形成等utiliser Polyspace directement河畔未德沃思projets。莱斯sujets peuvent理由：

• 说明DES检查去Polyspace Bug的搜索
• 验证去代码C ++
• 分析德最近搜索partagées恩特雷里奥斯环节
• 验证码德généré
• 歌剧团杜突未德发展署
• 整合工作流程杜
• 安装杜logiciel客户机/服务器
• 配置科特迪瓦联合国谟丹斯Polyspace
• 解释DESrésultats