Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

slvnvmergedata

Combine test data from data files

Syntax

merged_data = slvnvmergedata(data1,data2,...)

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);

Introduced in R2011a

Was this topic helpful?