Main Content

slvnvmergedata

Combine test data from data files

Description

example

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

Examples

collapse all

This example shows how to merge logged data from multiple test cases.

Open the directory that contains the example files.

openExample('ComponentBasedModelingWithModelReferenceExample')

Open thesldemo_mdlref_basicmodel, which contains threeModelblocks that reference thesldemo_mdlref_countermodel.

open_system('sldemo_mdlref_basic');

Log the input signals to the threeModelblocks.

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, with coverage enabled with the merged data.

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

Generate a coverage report to view the results.

cvhtml('Initial coverage', initialCov);

Input Arguments

collapse all

Generated by runningslvnvlogsignalsor by running a金宝app®Design Verifier™analysis.

Output Arguments

collapse all

Structure that contains the merged test cases or counterexamples.

Version History

Introduced in R2011a