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

sldvtimer

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

全页折叠

语法

status = sldvtimer
status = sldvtimer(value)
status = sldvtimer(sldvdata)
status = sldvtimer(sldvdata,display)
status = sldvtimer(model)

说明

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

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。

1.打开模型：

open_system("ex_sldvtimer_control");

sldvtimer_sf.png

2.在 Design Verifier 选项卡的模式部分中，选择测试生成，然后点击生成测试。

Simulink Design Verifier 日志对话框显示：

  1. Test generation exceeded time limit

  2. 28 of 32 objectives satisfied

sldvtimer_information.png

3.Simulink Design Verifier 错误信息对话框指示 Test generation did not optimize timer patterns.

4.要启用计时器优化，请在 MATLAB® 命令窗口中输入：

sldvtimer(1)

5.在配置参数窗口的 Design Verifier 窗格中，将最大分析时间设置为 50 秒。

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

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

输入参数

全部折叠

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

true 启用计时器优化。
false（默认）禁用计时器优化。

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

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

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

Simulink 模型的句柄

输出参量

全部折叠

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

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

限制

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

版本历史记录

在 R2012a 中推出

另请参阅

| |

主题