新型冠状病毒 (COVID-19) 抗疫资讯
我们正密切关注新型冠状病毒 (COVID-19) 疫情,并持续增加更多教师引导的在线课程,以作为现场培训课程的替代选择。
Polyspace C/C++代码验证
本课程为期两天,讨论如何使用Polyspace® Code Prover™ 证明代码的正确性,改善软件质量指标以及确保产品完整性。该动手实践课程面向为嵌入式系统开发软件或模型的工程师。第三天课程为选修内容,仅适用于现场培训。内容包括:
- 创建验证项目
- 审阅和理解验证结果
- 模仿目标执行环境
- 处理缺失函数和数据
- 管理未证明代码(Polyspace 中标记的橙色代码)
- 应用MISRA-C®规则
- 创建分析结果报告
时间表与报名
日期 | 地点 | 语言 | 价格 | 注册 |
---|---|---|---|---|
2021 年03月09日- 2021 年03月10日 |
在线 9:00 am - 5:00 pm 中欧标准时间 |
English | USD 1,500 | |
2021 年04月06日- 2021 年04月07日 |
在线 9:00 am - 5:00 pm 美国东部夏令时间 |
English | USD 1,500 | |
2021 年04月22日- 2021 年04月23日 |
在线 9:00 am - 5:00 pm 中国标准时间 |
Chinese | USD 1,500 | |
2021 年05月20日- 2021 年05月21日 |
在线 9:00 am - 5:00 pm 韩国标准时间 |
Korean | USD 1,500 | |
2021 年06月24日- 2021 年06月25日 |
在线 9:00 am - 5:00 pm 印度标准时间 |
English | USD 1,500 | |
2021 年10月05日- 2021 年10月06日 |
在线 9:00 am - 5:00 pm 中欧标准时间 |
English | USD 1,500 | |
2021 年10月20日- 2021 年10月21日 |
在线 9:00 am - 5:00 pm 美国太平洋夏令时间 |
English | USD 1,500 | |
2021 年11月04日- 2021 年11月05日 |
在线 9:00 am - 5:00 pm 韩国标准时间 |
Korean | USD 1,500 | |
2021 年11月25日- 2021 年11月26日 |
在线 9:00 am - 5:00 pm 中国标准时间 |
Chinese | USD 1,500 |
该定价适用于 美国, 的购买和使用。有关其他地区的定价,请联系销售人员。产品价格中不含销售税、使用税、消费税、增值税或其它税费。订单需另行计算本次购置所适用的税款和政府收费。更多详情,请参阅 MathWorks 培训政策