sldvrun

分析模型

全页折叠

语法

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

说明

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

status = sldvrun(model) 分析 model 以生成提供模型覆盖率或证明模型属性的测试用例。它使用模型引用的配置选项来选择分析模式。

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

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

示例

[status, filenames, msg] = sldvrun(model, options) 分析 model 并返回软件在分析过程中创建的 filenames，以及有关结构体 msg 中的错误和警告的信息。

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

示例

全部折叠

此示例说明 sldvrun 如何使用模型引用的配置选项来选择分析模式。

打开模型 sldvdemo_cruise_control。

openExample('simulinktest/GenerateAndImportTestCasesFromSLDVExample', ...
'supportingFile','sldvdemo_cruise_control')

在不选择任何分析模式的情况下对 sldvdemo_cruise_control 执行分析

model = ('sldvdemo_cruise_control')
sldvrun(model)

sldvrun 使用模型引用的生成测试选项并执行测试生成分析。

设置 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 对象名称的字符向量或字符串标量。

用于分析过程中在日志窗口中显示消息的选项，指定为：

数值或逻辑值 1 (true) - 在日志窗口中显示消息。
数值或逻辑值 0 (false) - 在命令行窗口中显示消息。

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

输出参量

全部折叠

Simulink Design Verifier™ 在分析过程中生成的文件的名称，以包含以下字段的结构体形式返回：

字段描述

DataFile

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

HarnessModel

Simulink 框架模型

Report

仿真结果的 HTML 报告

ExtractedModel

从子系统中提取的 Simulink 模型

BlockReplacementModel

模块替换后获得的 Simulink 模型

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

字段描述

'-1'

分析超出最大处理时间

'0'

错误

'1'

处理正常完成

错误和警告信息，以包含以下字段的结构体形式返回：

字段描述

sourceFullName

导致错误或警告的模型元素的完整路径

objH

导致错误或警告的模型对象的句柄

reportedBy

生成错误或警告消息的组件或模块的名称

msg

错误或警告消息文本

msgid

错误或警告消息的唯一标识符

msgargs

用于构造错误或警告消息的参量数组

备选方法

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

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

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

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

版本历史记录

在 R2007a 中推出

全部展开

另请参阅

| |

主题