Main Content

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

sldvrun

分析模型

全页折叠

语法

status = sldvrun
status = sldvrun(model)
status = sldvrun(subsystem)
status = sldvrun(model, options)
[status, filenames] = sldvrun(model, options)
[status, filenames] = sldvrun(model, options, showUI, startCov)

说明

status = sldvrun 分析当前模型以生成提供模型覆盖率或证明模型属性的测试用例。

status = sldvrun(model) 分析 model 以生成提供模型覆盖率或证明模型属性的测试用例

status = sldvrun(subsystem) 将原子子系统subsystem 转换为新模型，并对新模型运行设计验证分析。

示例

status = sldvrun(model, options) 使用 sldvoptions 对象 options 分析 model 。

[status, filenames] = sldvrun(model, options)分析model并返回软件在分析过程中创建的filenames。

如果将 showUI 设置为 true ，则 [status, filenames] = sldvrun(model, options, showUI, startCov) 会在分析期间打开日志窗口。如果将 showUI 设置为 false，sldvrun 会将输出定向到 MATLAB® 命令行。

示例

全部折叠

设置sldvoptions参数并使用指定的选项分析模型。

设置sldvoptions参数： 

opts = sldvoptions;
opts.Mode = 'TestGeneration';              % Perform test-generation analysis
opts.ModelCoverageObjectives = 'MCDC';     % MCDC coverage
opts.SaveHarnessModel = 'off';             % Don't save harness as model file
opts.SaveReport = 'on';                    % Save the HTML report

打开sldvdemo_cruise_control模型并使用指定的选项分析模型：

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);

输入参数

全部折叠

Simulink®模型的名称或句柄，指定为字符向量或字符串标量。

Simulink模型中原子子系统的名称或句柄，指定为字符向量或字符串标量。

分析选项，指定为包含 sldvoptions 对象名称的字符向量或字符串标量。

分析过程中是否显示消息，指定为：

true 在日志窗口中显示消息。
false（默认）在命令窗口中显示消息。

模型覆盖率对象，指定为包含 cvdata 对象名称的字符向量或字符串标量。

输出参量

全部折叠

Simulink Design Verifier™ 生成的文件名，以包含以下字段的结构体返回：

DataFile

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

HarnessModel

Simulink框架模型

Report

仿真结果的 HTML 报告

ExtractedModel

从子系统中提取的 Simulink模型

BlockReplacementModel

模块替换后获得的 Simulink模型

分析状态，以下列值之一返回：

-1

分析超出最大处理时间

0

错误

1

处理正常完成

备选方法

要使用 Simulink Design Verifier 运行分析，请在 Design Verifier 选项卡的 模式 部分中选择以下任一选项：

  • 选择设计错误检测，然后点击检测设计错误。

  • 选择测试生成，然后点击生成测试。

  • 选择属性证明，然后点击证明属性。

版本历史记录

在 R2007a 中推出

另请参阅

| |

主题