モデルの解析結果の強調表示について説明します。

Simulink Design Verifierレポートのさまざまな部分について説明する。

基本的なハーネス モデルを説明します。

Simulink Design Verifierデータ ファイルのコンテンツについて説明する。

解析ログ ファイルについて説明します。

Simulink Design Verifierにより生成された結果の処理方法を制御するオプションを指定します。

Simulink Design Verifierによる結果のレポート方法を制御するオプションを指定します。

Simulink Design Verifierの [検証結果の概要] ウィンドウで解析結果をレビューする。

プロパティ証明、設計エラー検出およびテスト ケースの生成によって生成されるSimulink Design Verifier解析結果を使用して、Simulink Testでテスト ケースを生成する方法を説明する。