目的：熟悉Polyspace Bug的Finder和代码证明器和工作通过一个介绍性的例子。

• 软件开发与Polyspace工作流程
• 简单的验证实例
• 分析缺陷和运行时错误

目的：分析代码，可能不是ANSI C标准，占了运行时环境，以及正确的缺陷和编码错误使用查找违反规则。

• 公共运行时环境构件
• 处理处理器特定的代码
• 定义执行上下文
• 设置目标硬件信息
• 分析和管理错误查找缺陷
• 检测编码规则违反

目的：成为解释Polyspace代码证明者精通结果。

• 抽象解释的概述
• 调用树分析
• 源代码导航
• 执行路径
• 变量的范围
• 全局变量

目的：使用Polyspace代码证明者可诊断查找运行时错误。

• 概述C源代码检查
• 在源代码的检查位置
• 检查的说明
• 相关验证选项

目的：处理包含大量未经验证的检查的验证结果。

• 确定验证工作
• 执行快速审查
• 执行选择性橙色回顾
• 设置检验精度
• 优先处理橙色检查
• 回顾橙色检查

目的：了解Polyspace代码验证程序如何处理验证过程中丢失的代码，以及如何影响此行为以生成更有意义的验证。

• 鲁棒性验证和上下文验证
• 功能存根
• 数据范围指定
• 手册存根

目的：学习如何在代码复杂性增加的情况下管理验证，以及如何解释和比较集成分析和健壮分析。

• 管理代码模块
• 综合分析缺陷和违反规则与BUG查找和代码证明器
• 导入注释

目的：使用Polyspace指标共享和编目验证结果，并从验证结果生成标准报告。

• 分享结果
• 使用Polyspace指标
• 测试软件质量目标
• 创建文档

目的：审查程序和选项验证完整的应用程序时有用。

• 设置应用程序验证
• 提高应用程序验证的结果
• 检测并发问题
• 比较稳健性和上下文验证

目的：花一些时间审查你所学到的，并直接应用Polyspace代码证明者向自己的项目。潜在的主题包括：

• 臭虫搜索检查
• 验证C ++代码
• 任务和共享数据分析
• 验证生成的代码
• 发展历程回顾
• 工作流集成
• 客户机/服务器软件安装
• 项目代码Polyspace配置
• 结果解释