Polyspace Code Prover によるコード検証

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

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

コース概要の詳細を見る

スケジュールと受講申請

必要条件

C /C++ 言語でのプログラミング経験をお持ちの方。


MATLAB および Simulink コース スケジュール

現在、このコースの開催予定はありません。