Objective: 了解Polyspace Bug Finder与Code Prover并跑通一个例子程序。

• Polyspace与软件开发流程
• 简单验证样例
• 分析代码中的缺陷与运行时错误

Objective: 用Bug Finder分析非标准ANSI C且依赖于运行时环境的代码，改正代码中的编码规范问题与缺陷。

• 运行时环境构件
• 处理特定处理器代码
• 定义执行的上下文
• 设置目标硬件信息
• 管理和分析Bug Finder发现的缺陷
• 检查编码规范违反

Objective: 能熟练解释Polyspace Code Prover的结果。

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

Objective: 使用Polyspace Code Prover查找运行时错误。

• C代码检查项一览
• 源代码中的检查项定位
• 检查项描述
• 相关验证选项

Objective: 处理含有大量未证明检查项的验证结果。

• 判断验证开销
• 进行快速评审
• 进行选择性的橙色代码评审
• 设置验证精度
• 区分橙色检查项优先级
• 评审橙色检查项

Objective: 学习如何在用Polyspace Code Prover验证代码时处置缺失的代码，以及如何对此施加影响从而产生更有意义的验证结果。

• 鲁棒性验证与上下文验证
• 函数打桩
• 数据范围指定
• 手动打桩

Objective: 学习如何管理复杂性日益增加的代码验证，以及如何解释并比较集成分析与健壮性分析。

• 管理代码模块
• 用Bug Finder与Code Prover分析集成缺陷与编码违规
• 导入注释

Objective: 利用Polyspace度量来共享与编录验证结果，并从验证结果生成标准报告。

• 共享结果
• 利用Polyspace度量
• 测试软件质量目标
• 创建文档

Objective: 回顾在验证完整应用程序时有用的过程与选项。

• 设置应用程序验证
• 改善应用程序验证结果
• 检查并发问题
• 比较鲁棒性验证与上下文验证

Objective: 花时间来回顾你学到的内容并在你自己的项目上直接应用 Polyspace Code Prover。潜在内容包括：

• 开发流程回顾
• 工作流集成
• 客户端/服务器软件安装
• 项目代码的Polyspace配置
• 结果解释