Polyspace C/C++代码验证

本课程为期两天，讨论如何使用Polyspace^® Code Prover^™ 证明代码的正确性，改善软件质量指标以及确保产品完整性。该动手实践课程面向为嵌入式系统开发软件或模型的工程师。第三天课程为选修内容，仅适用于现场培训。内容包括：

课程要求

扎实的C/C++功底

第1天/共3天
Polyspace工作流程概览	目标：了解Polyspace Bug Finder与Code Prover并跑通一个例子程序 Polyspace与软件开发流程简单验证样例分析代码中的缺陷与运行时错误
Polyspace Bug Finder分析	目标：分析可能不符合ANSI C的代码并配置运行时环境，使用 Bug Finder 纠正缺陷和编码规则违规。常见运行环境构件处理处理器特定代码定义执行的上下文设置目标硬件信息分析和管理Bug Finder发现的缺陷检测编码规则冲突度量代码统计指标
分析Polyspace Code Prover的结果	目标：能熟练解释Polyspace Code Prover的结果。抽象解释概览调用层次分析源代码导航执行路径变量范围全局变量
代码验证中的检查项	目标：能熟练解读Polyspace Code Prover的结果。 C代码检查项一览源代码中的检查项定位检查项描述相关验证选项

第2天/共3天
管理Polyspace Code Prover验证与结果	目标：处理含有大量未证明检查项的验证结果。判断验证开销进行快速评审进行选择性的橙色代码评审设置验证精度区分橙色检查项优先级评审橙色检查项
增加Polyspace Code Prover验证精度	目标：学习如何在用Polyspace Code Prover验证代码时处置缺失的代码，以及如何对此施加影响从而产生更有意义的验证结果。鲁棒性验证与上下文验证函数打桩数据范围指定手动打桩
集成分析	目标：学习如何管理复杂性日益增加的代码验证，以及如何解释并比较集成分析与健壮性分析。管理代码模块用Bug Finder与Code Prover分析集成缺陷与编码违规导入注释
完整应用分析	目标：回顾对整个应用进行完整验证时的流程和选项。创建应用级验证工程改善应用的验证结果发现并发访问问题对比健壮性验证和上下文验证创建文档

第3天/共3天
实践教学（选修）	目标：花时间来回顾你学到的内容并在你自己的项目上直接应用 Polyspace. 潜在内容包括： Bug Finder 检测验证 C++ 代码任务和共享数据分析验证生成的代码开发过程回顾工作流程整合客户端/服务器软件安装项目代码的 Polyspace 配置结果解释

当您注册这些课程之一时，您可以放心，它不会因为任何原因被取消或改期。

结果 1 - 4 共 4

结果 1 - 4 共 4

该定价适用于美国, 的购买和使用。有关其他地区的定价，请联系销售人员。产品价格中不含销售税、使用税、消费税、增值税或其它税费。订单需另行计算本次购置所适用的税款和政府收费。更多详情，请参阅 MathWorks 培训政策