Main Content

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

sldvcompat

检查模型与分析的兼容性

全页折叠

语法

status = sldvcompat(model)
[status, errmsgs] = sldvcompat(model)
status = sldvcompat(subsystem)
status = sldvcompat(subsystem, options)
status = sldvcompat(model, options, showUI, startCov)

说明

如果 model 与 Simulink® Design Verifier™ 软件兼容，则 status = sldvcompat(model) 返回 1 的 status。否则，sldvcompat 返回 0 。

示例

[status, errmsgs] = sldvcompat(model) 返回不兼容的列表。

status = sldvcompat(subsystem) 将 Simulink原子子系统subsystem 转换为临时模型，并检查临时模型与 Simulink Design Verifier 软件的兼容性。兼容性检查之后，sldvcompat 关闭临时模型。

status = sldvcompat(subsystem, options) 使用 sldvoptions 对象 options 检查 subsystem 指定的子系统是否与 Simulink Design Verifier 软件兼容。

status = sldvcompat(model, options, showUI, startCov) 检查模型与Simulink Design Verifier软件的兼容性。如果 showUI 是 true，则诊断查看器中会出现错误。否则，MATLAB® 命令行会出现错误。分析忽略了 startCov（一个 cvdata 对象）中满足的所有模型覆盖率目标。

示例

全部折叠

检查 sldvdemo_flipflop模型是否与 Simulink Design Verifier 软件兼容。

打开sldvdemo_flipflop示例模型并检查兼容性。

openExample('sldv/FlipFlopTestGenerationExample',...
'supportingFile','sldvdemo_flipflop');
status = sldvcompat('sldvdemo_flipflop');

输入参数

全部折叠

处理 Simulink模型，指定为字符向量或字符串标量。

示例: openExample('sldv/FlipFlopTestGenerationExample')

处理 Simulink模型中的原子子系统。

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

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

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

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

输出参量

全部折叠

model 是否兼容，以逻辑形式返回。如果 model 与 Simulink Design Verifier 软件兼容，则 status 就是 1 。否则，sldvcompat 返回 0 。

不兼容列表，以结构体返回。如果 model 与 Simulink Design Verifier 兼容，则 errmsgs 返回 []（空）。如果 model 不兼容，则 errmsgs 是返回不兼容列表的 struct。

备选方法

要检查某个模型是否与 Simulink Design Verifier 兼容，请在 Design Verifier 选项卡的 分析 部分中点击检查兼容性 。

要检查子系统的兼容性，请右键单击该子系统并选择 Design Verifier > 检查子系统兼容性 。

版本历史记录

在 R2007a 中推出

另请参阅

|

主题