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.

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.

Examples

Log Signals and Merge Logged Data

% Open the sldemo_mdlref_basic model, which contains three Model blocks
% that reference the sldemo_mdlref_counter model:
sldemo_mdlref_basic;

% Log the input signals to the three Model blocks:
data1 = slvnvlogsignals('sldemo_mdlref_basic/CounterA');
data2 = slvnvlogsignals('sldemo_mdlref_basic/CounterB');
data3 = slvnvlogsignals('sldemo_mdlref_basic/CounterC');

% Merge the logged data:
merged_data = slvnvmergedata(data1, data2, data3);

% Simulate the referenced model, sldemo_mdlref_counter,for coverage with
% the merged data and display the coverage results in an HTML file.
open_system('sldemo_mdlref_counter');
runOpts = slvnvruntestopts;
runOpts.coverageEnabled = true;
[ outData, initialCov ] = slvnvruntest('sldemo_mdlref_counter', ...
     merged_data, runOpts);
cvhtml('Initial coverage', initialCov);

See Also

| | | | (Simulink Design Verifier)

Introduced in R2011a