主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

sldvgencov

分析模型以获得缺失的模型覆盖率

说明

[status, cvdo] = sldvgencov(model, options, showUI, startCov) 使用 sldvoptions 对象 model 分析模型 options

[status, cvdo] = sldvgencov(block, options, showUI, startCov) 使用 sldvoptions 对象 block 分析原子子系统 options

[status, cvdo, filenames] = sldvgencov(model, options, showUI, startCov) 分析 model 并返回软件在 filenames 中创建的文件名。

示例

[status, cvdo, filenames, newmodel] = sldvgencov(block, options, showUI, startCov) 使用 sldvoptions 对象 block 分析 options。该软件返回一个 newmodel 的句柄,其中包含 block 子系统的副本。

示例

全部折叠

分析覆盖率数据并收集缺失的覆盖率数据。

分析巡航控制模型,并使用来自先前分析的测试用例的数据仿真该模型的某个版本。比较模型覆盖率数据并收集 sldvdemo_cruise_control_mod 模型分析中缺失的覆盖率:

opts = sldvoptions;
% Generate test cases
opts.Mode = 'TestGeneration';
% Specify MCDC coverage
opts.ModelCoverageObjectives = 'MCDC';
% Don't create harness model
opts.SaveHarnessModel = 'off';
% or report
opts.SaveReport = 'off';
openExample('sldv/ExtendTestCasesForModifiedModelExample',...
'supportingFile', 'sldvdemo_cruise_control');
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);
open_system 'sldvdemo_cruise_control_mod';
[ outData, startCov ] = sldvruntest('sldvdemo_cruise_control_mod',...
    files.DataFile, [], true);
cvhtml('Coverage with the original test suite', startCov);
[ status, covData, files ] = sldvgencov('sldvdemo_cruise_control_mod',...
    opts, false, startCov);

输入参数

全部折叠

Simulink® 模型中的原子子系统的句柄。

Simulink 模型的句柄。

指定分析参数的 sldvoptions 对象。

指示在分析过程中在何处显示消息的逻辑值:

true,在日志窗口中显示消息。
false(默认值)在 MATLAB® 命令窗口中中显示消息。

cvdata 对象。该分析忽略了 startCov 中已经满足的模型覆盖率目标。

输出参量

全部折叠

cvdata 对象包含新测试的覆盖率数据。

一种结构体,其字段列出了分析所得的文件名。

DataFile

包含原始输入数据的 MAT 文件。

HarnessModel

Simulink 框架模型。

Report

HTML 格式的结果报告。

ExtractedModel

从子系统中提取的 Simulink 模型。

BlockReplacementModel

模块替换后获得的 Simulink 模型。

指示分析是否收集了模型覆盖率的逻辑值。

true 用于分析收集的模型覆盖率数据。
如果分析没有收集模型覆盖率数据,则为 false

如果使用 block 调用 API,则软件将返回 newmodel 中新模型的句柄,其中包含原子子系统 block 的副本。

版本历史记录

在 R2007a 中推出