帮助中心帮助中心
本页采用了机器翻译。点击此处可查看英文原文。
检查模型与分析的兼容性
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 。
model
status
1
sldvcompat
0
示例
[status, errmsgs] = sldvcompat(model) 返回不兼容的列表。
errmsgs
status = sldvcompat(subsystem) 将 Simulink原子子系统subsystem 转换为临时模型,并检查临时模型与 Simulink Design Verifier 软件的兼容性。兼容性检查之后,sldvcompat 关闭临时模型。
subsystem
status = sldvcompat(subsystem, options) 使用 sldvoptions 对象 options 检查 subsystem 指定的子系统是否与 Simulink Design Verifier 软件兼容。
options
sldvoptions
status = sldvcompat(model, options, showUI, startCov) 检查模型与Simulink Design Verifier软件的兼容性。如果 showUI 是 true,则诊断查看器中会出现错误。否则,MATLAB® 命令行会出现错误。分析忽略了 startCov(一个 cvdata 对象)中满足的所有模型覆盖率目标。
showUI
startCov
true
cvdata
全部折叠
检查 sldvdemo_flipflop模型是否与 Simulink Design Verifier 软件兼容。
sldvdemo_flipflop
打开sldvdemo_flipflop示例模型并检查兼容性。
openExample('sldv/FlipFlopTestGenerationExample',... 'supportingFile','sldvdemo_flipflop'); status = sldvcompat('sldvdemo_flipflop');
[]
处理 Simulink模型,指定为字符向量或字符串标量。
示例: openExample('sldv/FlipFlopTestGenerationExample')
openExample('sldv/FlipFlopTestGenerationExample')
处理 Simulink模型中的原子子系统。
分析参数,指定为包含 sldvoptions 对象名称的字符向量或字符串标量。
分析过程中是否显示消息,指定为:
false
模型的覆盖数据,指定为包含 cvdata 对象名称的字符向量或字符串标量。
model 是否兼容,以逻辑形式返回。如果 model 与 Simulink Design Verifier 软件兼容,则 status 就是 1 。否则,sldvcompat 返回 0 。
不兼容列表,以结构体返回。如果 model 与 Simulink Design Verifier 兼容,则 errmsgs 返回 [](空)。如果 model 不兼容,则 errmsgs 是返回不兼容列表的 struct。
struct
要检查某个模型是否与 Simulink Design Verifier 兼容,请在 Design Verifier 选项卡的 分析 部分中点击检查兼容性 。
要检查子系统的兼容性,请右键单击该子系统并选择 Design Verifier > 检查子系统兼容性 。
在 R2007a 中推出
sldvoptions | sldvrun
sldvrun
您点击的链接对应于以下 MATLAB 命令:
请在 MATLAB 命令行窗口中直接输入以执行命令。Web 浏览器不支持 MATLAB 命令。
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Contact your local office