课程安排

预备知识

扎实的C/C++功底

Polyspace C/C++代码验证

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

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

了解详细课程大纲



课程安排

结果 1 - 9 / 9
日期 地点 语言 价格 注册
2022 年 1 月 10 日-
2022 年 1 月 11 日
虚拟
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
结果 1 - 9 / 9

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