sldvcompat

检查模型与分析的兼容性

全页折叠

语法

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

说明

status = sldvcompat(model) 在 model 与 Simulink® Design Verifier™ 软件兼容时返回 status 为 1。否则，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® 命令行中会显示错误。分析会忽略 cvdata 对象 startCov 中满足的所有模型覆盖率目标。

示例

全部折叠

检查 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 选项卡的分析部分中，点击检查兼容性。

要检查 Subsystem 的兼容性，请右键点击 Subsystem，然后指向选择 App 并点击 Design Verifier 按钮 Design Verifier button.，将 Design Verifier 选项添加到菜单中。然后，从 Design Verifier 菜单中点击“检查子系统兼容性”按钮 Check compatibility button.。

版本历史记录

在 R2007a 中推出

另请参阅

|

主题