摘要目的:熟悉Polyspace Bug查找器和代码验证器，并通过一个介绍性的示例进行学习。

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

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

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

摘要目的:精通Polyspace代码验证结果的解释。

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

摘要目的:使用Polyspace代码验证程序中提供的诊断信息查找运行时错误。

• C源代码的检查的概要
• 检入源代码的位置
• 描述检查
• 相关的验证选项

摘要目的:含有大量未经证实的检查句柄验证结果。

• 确定验证工作
• 快速回顾
• 进行选择性的橙色回顾
• 设置验证精度
• 优先级橙色检查
• 回顾橙色检查

摘要目的:了解Polyspace代码证明器并将缺失的验证过程中码，以及如何如何影响这种行为产生更有意义的验证。

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

摘要目的:了解如何管理随着代码的复杂性，以及如何解释，并具有强大的分析比较，综合分析验证。

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

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

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

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

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

摘要目的:花时间回顾您所学到的知识，并将Polyspace代码验证器直接应用到您自己的项目中。潜在的主题包括:

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