Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

sldvloadresults

モデルの Simulink Design Verifier 解析結果を読み込む

説明

status = sldvloadresults(model) は、最近生成された Simulink® Design Verifier™ による model の解析結果を [検証結果の概要] ウィンドウに読み込みます。model が開いていない場合、sldvloadresultsmodel を開きます。

データ ファイルから結果を読み込むには、[Design Verifier] タブの [結果の確認] セクションで、[以前の結果の読み込み] をクリックし、データ ファイルを開きます。sldvloadresults は、指定されたデータ ファイルに結果を読み込みます。

status = sldvloadresults(model, dataFile) は、dataFile から model の解析結果を [検証結果の概要] ウィンドウに読み込みます。model が開いていない場合、sldvloadresultsmodel を開きます。この関数は、dataFile から結果を読み込みます。

すべて折りたたむ

指定されたモデルに関するアクティブな Simulink Design Verifier 解析結果を読み込みます。

sldvdemo_flipflop モデル例を開きます。

open_system('sldvdemo_flipflop');

モデル例に対し、既定の設定を使用してテスト生成解析を実行します。

status = sldvrun('sldvdemo_flipflop')
Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done
'sldvdemo_flipflop' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 14-Dec-2018 16:33:34...
............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat

status =

     1

モデル例を閉じます。

bdclose('sldvdemo_flipflop')

モデル例を再度開きます。最近生成された解析結果を読み込みます。

sldvloadresults('sldvdemo_flipflop')
ans =

     1

読み込まれた解析結果は、Simulink Design Verifier の [検証結果の概要] ウィンドウで表示できます。[検証結果の概要] ウィンドウを開くには、[Design Verifier] タブの [結果の確認] セクションで、[検証結果の概要] をクリックします。

指定されたモデルのデータ ファイルから Simulink Design Verifier 解析結果を読み込みます。

sldvdemo_flipflop モデル例を開きます。

open_system('sldvdemo_flipflop')

モデル例に対し、既定の設定を使用してテスト生成解析を実行します。

[status, filenames] = sldvrun('sldvdemo_flipflop')
Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done

Generating tests using model representation from 14-Dec-2018 16:36:43...
............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat

status =

     1

モデル例を閉じます。

bdclose('sldvdemo_flipflop')

モデル例を再度開きます。解析で生成したデータ ファイルからモデルの解析結果を読み込みます。

sldvloadresults('sldvdemo_flipflop',filenames.DataFile)
ans =

     1

読み込まれた解析結果は、Simulink Design Verifier の [検証結果の概要] ウィンドウで表示できます。[検証結果の概要] ウィンドウを開くには、[Design Verifier] タブの [結果の確認] セクションで、[検証結果の概要] をクリックします。

入力引数

すべて折りたたむ

読み込む解析結果が属するモデルの名前またはモデルのハンドル。

例: 'sldvdemo_cruise_control'

例: 'sldvdemo_flipflop'

解析結果を含むデータのファイル名。dataFile には、指定された model の解析結果が含まれていなければなりません。

dataFile が以前のバージョンの model で生成されている場合、dataFile から結果を読み込むと、予期しない結果になる可能性があります。ご使用のモデルと解析結果データが矛盾しないようにするには、dataFile を指定するときに、同じバージョンの model の結果を含むデータ ファイルを選択します。

解析データ ファイルの詳細は、Simulink Design Verifier データ ファイルを参照してください。

例: 'results.mat'

例: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

例: 'sldv_output\my_model\my_model_sldvdata.mat'

出力引数

すべて折りたたむ

読み込もうとした解析結果を出力します。logical 値として返されます。

返される logical 値読み込まれた結果の状態
true処理が正常に完了。
falseエラーが発生。
R2013b で導入