Simulink Design Verifier

 

Simulink Design Verifier

設計エラーを識別し、要件準拠を証明し、テストを生成する

Simulink Design Verifier™ は、形式的手法を使用して、モデルの隠れた設計エラーを特定します。また、整数オーバーフロー、デッドロジック、配列アクセス違反、およびゼロ除算を引き起こす、モデル内のブロックを検出します。設計が機能要件を満たしていることを形式的に確認できます。各設計エラーまたは要件違反に対して、デバッグのためのシミュレーション テストケースを生成します。

Simulink Design Verifier は、モデルカバレッジとカスタム オブジェクティブに従ってテストケースを生成して、既存の要件ベースのテストケースを拡張します。これらのテストケースを使用して、モデルが、条件、判定、変更条件/判定カバレッジ (MCDC) およびカスタム カバレッジ オブジェクティブを満たすようにすることができます。カバレッジ オブジェクティブに加えて、カスタム テスト オブジェクティブを指定して、要件ベースのテストケースを自動的に生成することもできます。

業界標準には、IEC Certification Kit (IEC 61508 および ISO 26262 用) および DO Qualification Kit (DO-178 用) によって対応しています。

設計エラー検出

ランタイムエラー、診断エラー、デッドロジックなど、モデル内の設計エラーをシミュレーションの前に発見します。

ランタイムエラーと診断エラー

シミュレーションを実行する前に、整数オーバーフロー、ゼロ除算、範囲外配列アクセス、非正規値、浮動小数点エラーなどのランタイムエラーおよびモデリングエラーと、データ有効性エラーを検出できます。 

デッドロジック

シミュレーション中および生成コードの実行中にアクティブにできない、モデル内のオブジェクトを見つけます。

モデル内のデッドロジックの表示。

テストケース生成

構造および機能カバレッジを満たす動的シミュレーション用のテストケースを生成します。

カバレッジを高めるためのテストケース

手動で作成された既存のテストケースを強化し、拡張して、不完全なモデルカバレッジに対処します。

要件ベースのテストケース

システム要件のモデルからテストケースを生成します。

C/C++ コードのテストケース

生成されたコードと Simulink® ブロックから、または、Stateflow® チャートで呼び出される C/C++ コードのカバレッジを高めるためのテストケースを生成します。

C コードを呼び出すモデルのテストの生成。

要求に基づく検証

MATLAB、Simulink、および Stateflow を使用して表現された形式的要件を検証します。

安全要件

MATLAB®、Simulink、および Stateflow を使用して表現する形式的に定義された安全要件に従って設計が挙動することを検証します。

Simulink を使用して要件を表現します。

バリアントモデルの簡略化

バリアント リデューサーを使用して、有効な構成のサブセットの簡略化モデルを生成します。

配布モデルの簡略化

マスター バリアント モデルを詳しく検証した後、バリアント リデューサーを使用して、有効な構成のサブセットの簡略化モデルを生成します。すべての関連ファイルと変数の依存関係も削減されます。削減後の成果物は、容易に配布でき、顧客やパートナーと容易に共有できるように、個別のフォルダーにパッケージ化されます。

簡略化モデルの作成。

新機能

Enhanced MCDC

新しいカバレッジ オブジェクティブを使用して、より質の高いテストケースを生成

解析時間の短縮

モデル情報を再利用して反復ワークフローを迅速化

自動最適化手法

新しい自動オプションを使用してテストケース生成パフォーマンスを改善

新しいテスト ハーネス オプション

テスト ハーネス モデルの入力ブロックとして Signal Editor ブロックを使用

浮動小数点解析の改善

単精度および倍精度浮動小数点演算を含んでいるモデルの有理近似を削減

Stateflow カスタムコードのサポート

Stateflow チャート内の C/C++ 構造体を解析してテストを生成

これらの機能やそれに対応する機能の詳細については、リリースノートをご覧ください。 

無料評価版を入手する

30 日間の無料評価版はこちら

今すぐダウンロード

購入する

価格を見ると関連製品の確認

あなたは学生ですか?

MATLAB および Simulink のアカデミック版の入手

詳細を見る