Polyspace C/C++代码验证
本课程为期两天，讨论如何使用Polyspace® Code Prover™ 证明代码的正确性，改善软件质量指标以及确保产品完整性。该动手实践课程面向为嵌入式系统开发软件或模型的工程师。第三天课程为选修内容，仅适用于现场培训。内容包括：
- 创建验证项目
- 审阅和理解验证结果
- 模仿目标执行环境
- 处理缺失函数和数据
- 管理未证明代码（Polyspace 中标记的橙色代码）
- 应用MISRA-C®规则
- 创建分析结果报告
| 日期 | 地点 | 语言 | 价格 | 注册 |
|---|---|---|---|---|
|
2021 年 11 月 01 日- 2021 年 11 月 02 日 |
虚拟 9:00 am - 5:00 pm 美国太平洋夏令时间 |
英语 | USD 1,500 | |
|
2021 年 11 月 04 日- 2021 年 11 月 05 日 |
虚拟 9:00 am - 5:00 pm 韩国标准时间 |
韩语 | USD 1,500 | |
|
2021 年 11 月 25 日- 2021 年 11 月 26 日 |
虚拟 9:00 am - 5:00 pm 中国标准时间 |
中文 | USD 1,500 | |
|
2022 年 2 月 08 日- 2022 年 2 月 09 日 |
虚拟 9:00 am - 5:00 pm 中欧时间 |
英语 | USD 1,500 | |
|
2022 年 3 月 17 日- 2022 年 3 月 18 日 |
虚拟 9:00 am - 5:00 pm 中欧时间 |
德语 | USD 1,500 | |
|
2022 年 4 月 06 日- 2022 年 4 月 07 日 |
虚拟 9:00 am - 5:00 pm 美国东部夏令时间 |
英语 | USD 1,500 | |
|
2022 年 5 月 04 日- 2022 年 5 月 05 日 |
虚拟 9:00 am - 5:00 pm 中欧夏令时间 |
英语 | USD 1,500 | |
|
2022 年 5 月 26 日- 2022 年 5 月 27 日 |
虚拟 9:00 am - 5:00 pm 韩国标准时间 |
韩语 | USD 1,500 | |
|
2022 年 6 月 14 日- 2022 年 6 月 15 日 |
虚拟 9:00 am - 5:00 pm 中欧夏令时间 |
英语 | USD 1,500 | |
|
2022 年 6 月 21 日- 2022 年 6 月 22 日 |
虚拟 9:00 am - 5:00 pm 中国标准时间 |
中文 | USD 1,500 | |
|
2022 年 6 月 23 日- 2022 年 6 月 24 日 |
虚拟 9:00 am - 5:00 pm 印度标准时间 |
英语 | USD 1,500 |
该定价适用于在以下区域购买和使用： 美国, 有关在其他区域的定价，请联系销售人员。产品价格中不含销售税、使用税、消费税、增值税或其他税费。订单需另行计算本次购买所适用的税款和政府收费。请参阅培训政策获取更多详情
