Main Content

slvnvmergedata

Combine test data from data files

Description

merged_data = slvnvmergedata(data1,data2,...) combines two or more test cases and counterexamples data into a single test case data structure merged_data.

example

Examples

collapse all

Open the example project. The project opens the MultiCounter model.

openExample('simulink_features/ComponentBasedModelingUsingModelReferenceExample')

The MultiCounter model contains three Model blocks that reference the LimitedCounter model.

Log the input signals to the three Model blocks.

data1 = slvnvlogsignals('MultiCounter/CounterA');
data2 = slvnvlogsignals('MultiCounter/CounterB');
data3 = slvnvlogsignals('MultiCounter/CounterC');

Merge the logged data.

merged_data = slvnvmergedata(data1, data2, data3);

Simulate the referenced model, LimitedCounter, with coverage enabled with the merged data.

open_system('LimitedCounter');
runOpts = slvnvruntestopts;
runOpts.coverageEnabled = true;
[ outData, initialCov ] = slvnvruntest('LimitedCounter', ...
     merged_data, runOpts);

Generate a coverage report to view the results.

cvhtml('Initial coverage', initialCov);

Input Arguments

collapse all

Generated by running slvnvlogsignals or by running a Simulink® Design Verifier™ analysis.

Output Arguments

collapse all

Structure that contains the merged test cases or counterexamples.

Version History

Introduced in R2011a

See Also

(Simulink Design Verifier) | | | |