スケジュールと受講申請

必要条件

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

Polyspace による C/C++ コードの検証

この2日間のコースは、コードの正しさの検証、ソフトウェア品質基準の改善、製品品質の管理のために、Polyspace® Code Prover の使い方を学びます。このコースは、組み込みシステム向けのソフトウェア、モデルを設計開発するエンジニアを対象としています。

  • 検証プロジェクトの作成
  • 検証結果のレビューと理解
  • ターゲットの実行環境のエミュレート
  • 不足している関数およびデータの取り扱い
  • 証明されていないコードの管理 (Polyspace 製品ではオレンジ色で表示)
  • MISRA-C® ルールの適用
  • 解析結果のレポート生成

コース概要の詳細を見る



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

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