培训服务

Polyspace Code Prover for C/C++ Code Verification

This three-day course discusses the use of Polyspace® Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity. This hands-on course is intended for engineers who develop software or models targeting embedded systems. Topics include:

  • Creating a verification project
  • Reviewing and understanding verification results
  • Emulating target execution environments
  • Handling missing functions and data
  • Managing unproven code (color-coded in orange by Polyspace products)
  • Applying MISRA-C® rules
  • Reporting

Please Note: A 1 hour test session will be scheduled one day prior to the first day of class. This test session will cover viewing and audio troubleshooting as well as software installation (content will be presented during the remaining days). It is highly recommended that you attend this session to ensure a successful start to the class.

Training Formats

形式 课程长度 课程大纲

课堂

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

2 days 查看具体事项

在线教师引导

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

2 days 查看具体事项

课程要求

Strong knowledge of C, C++, or Ada