摘要目的:熟悉Polyspace Bug查找器和代码验证器，并完成一个介绍性示例。

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

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

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

摘要目的:精通解释Polyspace Code Prover结果。

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

摘要目的:使用Polyspace Code Prover中提供的诊断来查找运行时错误。

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

摘要目的:处理包含大量未验证检查的验证结果。

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

摘要目的:了解Polyspace Code Prover如何在验证过程中处理缺失的代码，以及如何影响这种行为以产生更有意义的验证。

• 鲁棒性验证和上下文验证
• 函数存根
• 数据范围规范
• 手动存根

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

• 管理代码模块
• 用Bug查找器和代码验证器分析集成缺陷和规则违反
• 进口的评论

摘要目的:使用Polyspace度量来共享和编目验证结果，并从验证结果生成标准报告。

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

摘要目的:检查在验证完整应用程序时有用的程序和选项。

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

摘要目的:花时间复习你所学到的知识，并将Polyspace直接应用到你自己的项目中。潜在主题包括:

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