帮助中心帮助中心
本页采用了机器翻译。点击此处可查看英文原文。
识别、更改和显示计时器优化
status = sldvtimer
status = sldvtimer(value)
status = sldvtimer(sldvdata)
status = sldvtimer(sldvdata,display)
status = sldvtimer(model)
如果为 Simulink® Design Verifier™ 测试生成启用了计时器优化,则 status = sldvtimer 将返回 1 的 status。否则,sldvtimer 返回 0 的 status。
status
1
sldvtimer
0
示例
status = sldvtimer(value) 启用或禁用 Simulink Design Verifier 测试生成的计时器优化。
value
status = sldvtimer(sldvdata) 表示计时器优化是否记录在 Simulink Design Verifier 数据文件 sldvdata 中。如果记录了计时器优化,该函数将返回 status 或 1 。如果没有记录计时器优化,该函数将返回 status 或 0 。如果 sldvdata 没有关于计时器优化的信息,该函数将返回 -1 的 status。
sldvdata
-1
status = sldvtimer(sldvdata,display) 表示计时器优化是否记录在 Simulink Design Verifier 数据文件 sldvdata 中,并在 display 为真时识别属于已识别计时器模式的模型项。如果记录了计时器优化,该函数将返回 status 或 1 。如果没有记录计时器优化,该函数将返回 status 或 0 。如果 sldvdata 没有有关计时器优化的信息,该函数将返回 -1 的 status。
display
status = sldvtimer(model) 在 model 中显示计时器模式,您可以针对 Simulink Design Verifier 测试生成进行优化。
model
全部折叠
使用sldvtimer函数优化模型计时器,增加Simulink Design Verifier测试生成分析期间满足的测试生成目标的数量。
示例模型在Stateflow®图表中有计时器timer_1和timer_2。
timer_1
timer_2
在 Design Verifier 选项卡的 模式 部分中,选择 测试生成,然后点击生成测试。
Simulink Design Verifier日志对话框显示:
Test generation exceeded time limit
28 of 32 objectives satisfied
Simulink Design Verifier 错误信息对话框指示 Test generation did not optimize timer patterns 。
Test generation did not optimize timer patterns
要启用计时器优化,请在 MATLAB® 命令窗口中输入:
sldvtimer(1)
要生成测试用例,请在 Design Verifier 选项卡的 模式 部分中选择 测试生成,然后点击生成测试。
测试生成分析完成,软件生成测试用例。
启用计时器优化的逻辑值。
true
false
包含计时器优化数据的数据文件的名称。
用于识别属于已识别计时器模式的模型对象的逻辑值。
[]
Simulink模型的句柄
尝试记录计时器优化的结果,返回一个整数值。
如果在测试用例生成中包含关系边界目标,sldvtimer 可以优化更少的计时器。有关关系边界目标的信息,请参阅 关系边界 。
在 R2012a 中推出
sldvruncgvtest | sldvruntest | sldvruntestopts
sldvruncgvtest
sldvruntest
sldvruntestopts
您点击的链接对应于以下 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