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

sldvsimdata

Dataset 形式のシミュレーション データの取得

ページ内をすべて折りたたむ

構文

[simData,params] = sldvsimdata(dataFile)
[simData,params] = sldvsimdata(dataFile,index)
[simData,params] = sldvsimdata(data)
[simData,params] = sldvsimdata(data,index)

説明

[simData,params] = sldvsimdata(dataFile) は、Simulink® Design Verifier™ のデータ ファイル dataFile から、シミュレーション データを含む Simulink.SimulationData.Dataset オブジェクト simData およびパラメーター値を含む構造体配列 params を返します。simData と params の要素はそれぞれ dataFile にあるテスト ケースまたは反例に対応しています。

[simData,params] = sldvsimdata(dataFile,index) は、Simulink Design Verifier のデータ ファイル dataFile の整数 index によって表されるテスト ケースまたは反例について、シミュレーション データを含む Simulink.SimulationData.Dataset オブジェクト simData およびパラメーター値を含む構造体配列 params を返します。

[simData,params] = sldvsimdata(data) は、Simulink Design Verifier のデータ変数 data から、シミュレーション データを含む Simulink.SimulationData.Dataset オブジェクト simData およびパラメーター値を含む構造体配列 params を返します。

[simData,params] = sldvsimdata(data,index) は、Simulink Design Verifier のデータ変数 data の整数 index によって表されるテスト ケースまたは反例について、シミュレーション データを含む Simulink.SimulationData.Dataset オブジェクト simData およびパラメーター値を含む構造体配列 params を返します。

例

例

すべて折りたたむ

sldvdemo_cruise_control モデルのテスト ケースを生成します。次に、sldvsimdata を使用してテスト ケース 1 のカバレッジをレポートします。

sldvdemo_cruise_control モデル例を開きます。

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');
model = 'sldvdemo_cruise_control';
open_system('sldvdemo_cruise_control');

sldvrun を使用して、モデルを解析してテスト ケースを生成します。

[~,files] = sldvrun(model);
s = load(files.DataFile);

Simulink Design Verifier のデータ変数 s から、テスト ケース 1 の Simulink.SimulationData.Dataset オブジェクトを生成します。

simData = sldvsimdata(s.sldvData,1);

シミュレートし、テスト オブジェクトのモデル カバレッジ レポートを生成します。

cvdata = cvsim(model, 10, [], simData);
 cvhtml('Test Coverage', cvdata);

入力引数

すべて折りたたむ

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

Simulink Design Verifier のデータ変数。

データ ファイル内のテスト ケースまたは反例のインデックスを指定する整数。

出力引数

すべて折りたたむ

シミュレーション データ。Simulink.SimulationData.Dataset オブジェクトとして返されます。

モデルのパラメーター。構造体配列として返されます。

バージョン履歴

R2014b で導入

参考

| |

トピック