Main Content

本页采用了机器翻译。点击此处可查看最新英文版本。

sldvtimer

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

说明

如果为 Simulink® Design Verifier™ 测试生成启用了计时器优化,则 status = sldvtimer 将返回 1status。否则,sldvtimer 返回 0status

status = sldvtimer(value) 启用或禁用 Simulink Design Verifier 测试生成的计时器优化。

示例

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

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

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

示例

全部折叠

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

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

要启用计时器优化,请在 MATLAB® 命令窗口中输入:

sldvtimer(1)

要生成测试用例,请在 Design Verifier 选项卡的 模式 部分中选择 测试生成,然后点击生成测试

测试生成分析完成,软件生成测试用例。

输入参数

全部折叠

启用计时器优化的逻辑值。

true 启用计时器优化。
false(默认)禁用计时器优化。

包含计时器优化数据的数据文件的名称。

用于识别属于已识别计时器模式的模型对象的逻辑值。

true 用于识别属于已识别计时器模式的模型对象。
false(默认)不识别属于已识别计时器模式的模型对象

Simulink模型的句柄

输出参量

全部折叠

尝试记录计时器优化的结果,返回一个整数值。

返回逻辑值计时器优化的状态
1记录计时器优化。
0未记录计时器优化。
-1sldvdata 没有有关计时器优化的信息。

限制

如果在测试用例生成中包含关系边界目标,sldvtimer 可以优化更少的计时器。有关关系边界目标的信息,请参阅 关系边界

版本历史记录

在 R2012a 中推出