Main Content

結果の解釈および使用

解析結果のログ記録およびレビュー、レポートの生成、テスト ハーネス モデルの作成

Simulink® Design Verifier™ を使用して解析結果のログ記録およびレビュー、解析レポートの生成を行います。テスト入力を生成し、それらを Simulink Test™ の新しいテスト ケースにエクスポートできます。

関数

sldvloadresultsモデルの Simulink Design Verifier 解析結果を読み込む
sldvhighlightSimulink Design Verifier 解析のデータを使用してモデルを強調表示する
sldvreportSimulink Design Verifier レポートを作成する
sldvsimdataDataset 形式のシミュレーション データを取得します。
sldvruntestoptssldvruntest または sldvruncgvtest に対するシミュレーションまたは実行オプションの生成
sldvruntest入力データを使用したモデルのシミュレーション
sldvharnessoptssldvmakeharness の既定のオプション
sldvmakeharnessハーネス モデルの生成
sldvmergeharnessテスト ケースおよび初期化を 1 つのハーネス モデルにマージする

トピック

モデルにおける結果の強調表示

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

Simulink Design Verifier レポート

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

Simulink Design Verifier ハーネス モデル

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

Simulink Design Verifier データ ファイル

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

Simulink Design Verifier ログ ファイル

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

Design Verifier ペイン:結果

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

Design Verifier ペイン: レポート

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

解析結果のレビュー

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

SimulinkTest へのテスト ケースのエクスポート

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

注目の例