スケジュールと受講申請

必要条件

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

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

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

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

コース概要の詳細を見る


スケジュールと受講申請

結果 1 - 2 / 2
日付 開催地 言語 料金 申請
2019 年05月28日-
2019 年05月29日
中国, 上海 Chinese CNY 6,000
2019 年11月05日-
2019 年11月06日
中国, 北京 Chinese CNY 6,000
結果 1 - 2 / 2

この価格は アメリカ合衆国, で購入および使用された際に適用されます。その他の地域での価格については、弊社営業までお問い合わせください。製品価格には、売上税、使用税、消費税、付加価値税、その他の税金は含まれていません。ご注文の際に、実際に適用される税金、関税、課徴金、賦課金および政府関係費用が確定します。詳細については、MathWorks トレーニング ポリシーを参照してください。