时间表与报名

系统必备组件

扎实的C/C++功底

Polyspace C/C++代码验证

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

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

了解详细课程大纲



时间表与报名

结果 1 - 16 共 16
日期 地点 语言 价格 注册
2019 年11月28日-
2019 年11月29日
印度, Bangalore English INR 30,000
2020 年02月05日-
2020 年02月06日
在线
上午 9:00 – 下午 5:00 美国东部白昼时间
English USD 1,500
2020 年04月27日-
2020 年04月28日
US, Michigan, Novi English USD 1,500
2020 年05月05日-
2020 年05月06日
德国, Aachen German EUR 1,400
2020 年05月28日-
2020 年05月29日
韩国, Gangnam, Seoul Korean KRW 900,000
2020 年06月16日-
2020 年06月17日
中国, 上海 Chinese CNY 6,000
2020 年06月23日-
2020 年06月24日
中国, 北京 Chinese CNY 6,000
2020 年06月25日-
2020 年06月26日
在线
上午 9:00 – 下午 5:00 美国东部白昼时间
English USD 1,500
2020 年08月17日-
2020 年08月18日
US, Massachusetts, Natick English USD 1,500
2020 年08月25日-
2020 年08月26日
中国, 上海 Chinese CNY 6,000
2020 年09月28日-
2020 年09月29日
US, Michigan, Novi English USD 1,500
2020 年10月08日-
2020 年10月09日
法国, Paris (Meudon) French EUR 1,400
2020 年11月05日-
2020 年11月06日
韩国, Gangnam, Seoul Korean KRW 900,000
2020 年11月24日-
2020 年11月25日
德国, Ismaning (bei München) English EUR 1,400
2020 年12月08日-
2020 年12月09日
中国, 北京 Chinese CNY 6,000
2020 年12月15日-
2020 年12月16日
中国, 上海 Chinese CNY 6,000
结果 1 - 16 共 16

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