时间表与报名

系统必备组件

扎实的C/C++功底

Polyspace C/C++代码验证

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

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

了解详细课程大纲



时间表与报名

结果 1 - 5 共 5
日期 地点 语言 价格 注册
2019 年08月08日-
2019 年08月09日
在线
上午 9:00 – 下午 5:00 美国东部白昼时间
English USD 1,500
2019 年10月03日-
2019 年10月04日
法国, Paris (Meudon) French EUR 1,400
2019 年10月28日-
2019 年10月29日
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 - 5 共 5

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