时间表与报名

系统必备组件

扎实的C/C++功底

Polyspace C/C++代码验证

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

  • 创建验证项目
  • 审阅和理解验证结果
  • 模仿目标执行环境
  • 处理缺失函数和数据
  • 管理未证明代码(Polyspace 中标记的橙色代码)
  • 应用MISRA-C®规则
  • 创建分析结果报告

了解详细课程大纲



时间表与报名

结果 1 - 4 共 4
日期 地点 语言 价格 注册
2019 年10月03日-
2019 年10月04日
法国, Paris (Meudon) French EUR 1,400
2019 年10月22日-
2019 年10月23日
US, Michigan, Novi English USD 1,500
2019 年11月05日-
2019 年11月06日
中国, 北京 Chinese CNY 6,000
2019 年11月28日-
2019 年11月29日
印度, Bangalore English INR 30,000
结果 1 - 4 共 4

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