用于C/ c++代码验证的Polyspace
这两天的课程讨论Polyspace的使用®代码验证™证明代码的正确性,提高软件质量指标,并确保产品的完整性。本实践课程是为开发嵌入式系统软件或模型的工程师设计的。请注意,第三天是可选的,仅用于现场培训。主题包括:
- 创建验证项目
- 评审和理解验证结果
- 模拟目标执行环境
- 处理丢失的函数和数据
- 管理未经验证的代码(Polyspace产品用橙色编码)下载188bet金宝搏
- 应用MISRA-C®规则
- 报告分析结果
日期 | 位置 | 语言 | 价格 | 注册 |
---|---|---|---|---|
10 2022年1月- 2022年1月11日 |
虚拟 中国标准时间上午9:00 -下午5:00 |
中国人 | 1500美元 | |
2022年5月26日- - - - - - 2022年5月27日 |
虚拟 韩国标准时间上午9点至下午5点 |
朝鲜文 | 1500美元 | |
2022年6月21日- 2022年6月22日 |
虚拟 中国标准时间上午9:00 -下午5:00 |
中国人 | 1500美元 | |
2022年6月23日- 2022年6月24日 |
虚拟 印度标准时间上午9点至下午5点 |
英语 | 1500美元 |
此价格适用于在美国购买和使用,用于其他地区的定价联系销售.产品价格不包括销售税、使用税、消费税、增值税或其他税。与本次采购有关的任何适用的税收、关税、征费、评估和政府费用将根据订单进行评估。指培训政策的更多信息