客观的：熟悉PolySpace Bug Finder和PolySpace代码箴言并通过介绍性示例。

• 软件开发工作流程与多晶结
• 简单的验证例子
• 分析缺陷和运行时间错误

客观的：分析代码，可能不是ANSI C兼容的，并考虑运行时环境，以及使用PolySpace Bug Finder的正确缺陷和编码规则违规。

• 常见的运行时环境文物
• 处理处理器特定的代码
• 定义执行上下文
• 设置目标硬件信息
• 分析和管理PolySpace Bug Finder缺陷
• 检测编码规则违规
• 测量代码指标

客观的：熟练地解释PolySpace代码箴言结果。

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

客观的：使用PolySpace代码抄本中可用的诊断查找运行时错误。

• C源代码检查概述
• 源代码中检查的位置
• 检查描述
• 相关核查选项

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

• 确定核查工作
• 执行快速评论
• 执行选择性橙色评论
• 设置验证精度
• 优先考虑橙色检查
• 回顾橙色检查

客观的：了解Polyspace Code Prover如何在验证期间处理缺失的代码，以及如何影响此行为以产生更有意义的验证。

• 鲁棒性验证和上下文验证
• 功能拧干
• 数据范围规范
• 手动存根

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

• 管理代码模块
• 分析光彩空间Bug Finder和PolySpace代码递交的集成缺陷和规则违规
• 进口评论

客观的：验证完整应用程序时有用的程序和选项。

• 设置应用程序验证
• 提高应用程序验证结果
• 检测并发问题
• 比较鲁棒性和上下文验证
• 创建文档

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

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