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

要检查子系统的兼容性，请右键点击该子系统，然后依次选择 Design Verifier > 检查子系统兼容性。

版本历史记录

在 R2007a 中推出

另请参阅

|

主题