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 つのハーネス モデルにマージする
sldvruncgvtestコード生成検証 (CGV) API の起動とモデルの実行

トピック

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

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

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 でテスト ケースを生成する方法を説明する。

注目の例