sldvsimdata

Get simulation data in Dataset format

Syntax

[simData,params] = sldvsimdata(dataFile)

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

[simData,params] = sldvsimdata(data)

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

Description

[simData,params] = sldvsimdata(dataFile) returns Simulink.SimulationData.Dataset object simData, containing simulation data, and structure array params, containing parameter values, from Simulink^® Design Verifier™ data file dataFile. The elements of simData and params correspond to each test case or counterexample in dataFile.

[simData,params] = sldvsimdata(dataFile,index) returns Simulink.SimulationData.Dataset object simData, containing simulation data, and structure array params, containing parameter values, for the test case or counterexample represented by integer index in Simulink Design Verifier data file dataFile.

[simData,params] = sldvsimdata(data) returns Simulink.SimulationData.Dataset object simData, containing simulation data, and structure array params, containing parameter values, from Simulink Design Verifier data variable data.

[simData,params] = sldvsimdata(data,index) returns Simulink.SimulationData.Dataset object simData, containing simulation data, and structure array params, containing parameter values, for the test case or counterexample represented by integer index in the Simulink Design Verifier data variable data.

Examples

Generate Tests and Report Coverage

Generate test cases for the sldvdemo_cruise_control model. Then, report coverage by using sldvsimdata for test case 1.

Open the sldvdemo_cruise_control example model.

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

Analyze the model and generate test cases by using sldvrun.

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

Generate a Simulink.SimulationData.Dataset object for test case 1 from the Simulink Design Verifier data variable s.

simData = sldvsimdata(s.sldvData,1);

Simulate and generate model coverage report for test objects.

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

Input Arguments

dataFile — Simulation data file

character vector | string scalar

Simulink Design Verifier data file. For more information, see Manage Simulink Design Verifier Data Files.

data — Simulation data variable

character vector | string scalar

Simulink Design Verifier data variable.

index — Index of test case or counterexample in data file

integer

An integer that specifies the index of a test case or counterexample in a data file.

Output Arguments

simData — Dataset object containing simulation data

object

Simulation data, returned as Simulink.SimulationData.Dataset object.

params — Model configuration parameters

structure array

Model parameters, returned as a structure array.

Version History

Introduced in R2014b