Simulinkによる設計検証

この1日コースでは、Simulink Design Verifier™の活用法について学びながら、起こる可能性のある設計エラーがモデル内に含まれているかどうかを検証する方法や、モデルが要件を満たしているかどうかを検証するテクニックについて習得することができます。 モデル検証の事前チェックとして、ゼロ割やデッドロック等の設計エラーを検出する方法を学び、網羅的にテストするためのテスト自動生成機能の活用方法を習得します。また、モデルが仕様を満たすかどうかを証明する手法を学び、ソフトェアの品質向上を図ることができます。シミュレーションによるモデル検証手法の詳細は、別途 Simulink モデルの検証と妥当性確認コースを受講することをお勧めいたします。

  • 設計エラーの検出とデバッグ
  • モデルカバレッジの収集
  • 未達カバレッジを補完するテストケースの自動生成
  • 要件ベースの検証のためのプロパティ検証
  • 効率的な検証のためのモデル複雑度の扱い

コース概要の詳細を見る



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

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