トレーニング サービス

Polyspace によるコード検証

この2日間のコースでは、Polyspace® 製品を使用して、コードの正確性やソフトウェアの品質メトリック、製品の完全性について議論します。なお、このコースは組み込みシステムをターゲットとするモデルやソフトウェアを開発するエンジニアを対象としています。

  • 検証プロジェクトの作成
  • 検証結果のレビューと理解
  • ターゲット実行環境をエミュレート
  • 欠落している関数やデータの処理
  • 実証されないコードの管理 (オレンジ色のコード)
  • MISRA® 準拠の実現
  • レポート生成

Training Formats

形式 コース期間 コース概要

クラスルーム形式

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

2 日間 コース詳細概要

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

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

2 days コース詳細概要

必要条件

C /C++ 言語、もしくは Ada でのプログラミング経験をお持ちの方。