Main Content

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

sldvcompat

检查模型与分析的兼容性

说明

如果 modelSimulink® Design Verifier™ 软件兼容,则 status = sldvcompat(model) 返回 1status。否则,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软件的兼容性。如果 showUItrue,则诊断查看器中会出现错误。否则,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 是否兼容,以逻辑形式返回。如果 modelSimulink Design Verifier 软件兼容,则 status 就是 1 。否则,sldvcompat 返回 0

不兼容列表,以结构体返回。如果 modelSimulink Design Verifier 兼容,则 errmsgs 返回 [](空)。如果 model 不兼容,则 errmsgs 是返回不兼容列表的 struct

备选方法

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

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

版本历史记录

在 R2007a 中推出