Simulink Design Verifier

モデルベース デザインにおける形式的手法

Simulink Design Verifier は、Prover Technology 社の Prover Plug-In 提供の形式的解析技術と、MathWorks の Polyspace 形式的解析エンジンを使用します。これらの技術は数学的に厳密な手順に基づき、テストケースと反例について、考えられるモデルの実行パスを検索します。テスト シナリオと予想結果が具体的なデータ値で表現される従来のテスト手法とは異なり、形式的解析技術では、具体的なデータ値ではなくシステムの振る舞いのモデルを操作できるようになります。システムの振る舞いのモデルには、好ましいシステムの振る舞いと好ましくないシステムの振る舞いが記述されたテスト シナリオと検証オブジェクティブのモデルを含めることができます。このようなモデルを使用して実行された形式的解析はシミュレーションを補完し、設計に対する理解をさらに深める助けとなります。

次のトピック: 設計エラーの検出

製品評価版の入手または製品の購入

評価版 Simulink Design Verifier

評価版ソフトウェアを入手する

モデルベースデザインの基本環境クイック・デモ

Web セミナーを表示する