目标：熟悉Polyspace Bug Finder和Polyspace Code Prover，并通过一个介绍性示例进行工作。

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

目标：分析可能不符合ansic标准的代码并考虑运行时环境，并使用Polyspace Bug Finder纠正缺陷和违反编码规则的行为。

• 通用运行时环境工件
• 处理处理器特定代码
• 定义执行上下文
• 设置目标硬件信息
• 分析和管理Polyspace Bug Finder缺陷
• 检测编码规则冲突
• 度量代码度量

目标：精通解释Polyspace代码验证程序结果。

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

目标：使用Polyspace代码验证程序中提供的诊断查找运行时错误。

• C源代码检查概述
• 源代码中签入的位置
• 支票说明
• 相关验证选项

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

• 确定验证工作
• 快速回顾
• 进行选择性的橙色回顾
• 整定校验精度
• 优先橙色检查
• 查看橙色支票

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

• 健壮性验证和上下文验证
• 函数存根
• 数据范围规范
• 人工插桩

目标：学习如何管理代码复杂度不断增加的验证，以及如何解释和比较集成分析与健壮分析。

• 管理代码模块
• 使用Polyspace Bug Finder和Polyspace Code Prover分析集成缺陷和规则冲突
• 导入注释

目标：审核在验证完整申请时有用的程序和选项。

• 设置应用程序验证
• 改进应用程序验证的结果
• 检测并发问题
• 比较稳健性和上下文验证
• 创建文档

目标：花时间回顾你所学的知识，并将Polyspace直接应用到你自己的项目中。潜在主题包括：

• Polyspace Bug Finder检查
• C++代码验证
• 任务分配和共享数据分析
• 生成代码验证
• 开发过程评审
• 工作流集成
• 客户机/服务器软件安装
• 项目代码的多空间配置
• 结果解释