Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Simulink Design Verifier

設計エラーの特定、要件への準拠性の証明、およびテスト生成

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

Simulink Design Verifier は、モデル カバレッジおよびカスタム オブジェクティブ用のテスト ケースを生成することで、要件に基づく既存のテスト ケースを拡張します。これらのテスト ケースによりモデルは条件、判定、改良条件判定 (MCDC) およびカスタムのカバレッジ オブジェクティブを達成できます。カバレッジ オブジェクティブのほかに、カスタム テスト オブジェクティブを指定して、要件に基づくテスト ケースを自動生成できます。

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

Overview of Simulink Design Verifier workflow that inlcudes inputs, analysis modes, and outputs.

Simulink Design Verifier 入門

Simulink Design Verifier の基礎を学ぶ

モデルの準備と解析

ユニットレベルまたはシステムレベルのテストに向けて解析可能コンポーネントを特定し、モデルの非互換性または解析タイムアウトに対処する

バグの検出と対処

設計のランタイム エラーおよび論理エラー、デバッグの問題を検出する

設計要件の指定と検証

要件に対して設計を検証し、入力仮定を使用して反例を調整する

テストの生成

モデル、コード カバレッジ、カスタムのテスト基準を満たす一連のテストを生成する

テスト モデルの等価性

モデルと生成コード、または異なる Simulink リリースで実行されるモデルとの動作の等価性をテストする

解析結果のレビュー

解析結果をログ記録およびレビューし、レポートを生成し、テスト ケースを検査する

ツールの検定と認定

IEC 認定に対する Simulink Design Verifier の適合