培训服务

Polyspace 代码验证

本课程为期两天,讨论如何使用Polyspace®产品验证代码,改善软件质量和确保产品完善性。该动手实践课程面向需要对嵌入式系统开发软件和模型的工程师。内容包括:

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

Training Formats

形式 课程长度 课程大纲

课堂

课程是在培训教室由培训老师讲授的。教室的地点包括北京和上海的MathWorks公司和其他公开的场地。课堂培训也可以在您公司的场地进行。

2 天 查看具体事项

在线教师引导

MathWorks培训教师讲述的课程通过网络的方式实时广播,课程的内容与标准的课堂培训相同

2 days 查看具体事项

课程要求

课程要求:熟悉C, C++, 或者Ada 语言