sldvtimer

识别、更改和显示计时器优化

全页折叠

语法

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 = sldvtimer(value) 启用或禁用 Simulink Design Verifier 测试生成的计时器优化。

status = sldvtimer(sldvdata) 表示计时器优化是否记录在 Simulink Design Verifier 数据文件 sldvdata 中。如果记录了计时器优化，该函数将返回 status 或 1 。如果没有记录计时器优化，该函数将返回 status 或 0 。如果 sldvdata 没有关于计时器优化的信息，该函数将返回 -1 的 status。

status = sldvtimer(sldvdata,display) 表示计时器优化是否记录在 Simulink Design Verifier 数据文件 sldvdata 中，并在 display 为真时识别属于已识别计时器模式的模型项。如果记录了计时器优化，该函数将返回 status 或 1 。如果没有记录计时器优化，该函数将返回 status 或 0 。如果 sldvdata 没有有关计时器优化的信息，该函数将返回 -1 的 status。

status = sldvtimer(model) 在 model 中显示计时器模式，您可以针对 Simulink Design Verifier 测试生成进行优化。

示例

全部折叠

优化模型计时器

使用sldvtimer函数优化模型计时器，增加Simulink Design Verifier测试生成分析期间满足的测试生成目标的数量。

示例模型在Stateflow^®图表中有计时器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 。