トレーニング サービス

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 の講師から指導を受けながら、クラスルーム形式でご受講いただくことができます。開催場所は、MathWorks のオフィスもしくは、公共の施設となります。なお、本形式はお客様の施設でも開催可能です。

2 days コース詳細概要

オンライン – 講師が指導する形式

MathWorks の講師からオンラインで指導を受けることができます(英語)。本形式では、クラスルーム形式トレーニングと同じテキストを使用します。なお、複数のタイムゾーンで開催されますが、主に米国東部標準時で開催されます。

2 days コース詳細概要

必要条件

Strong knowledge of C, C++, or Ada