Test Objective
定义信号在测试用例中必须满足的自定义目标
库:
Simulink Design Verifier /
Objectives and Constraints
描述
在测试生成模式下运行时，Simulink® Design Verifier™ 软件会生成满足指定准则的测试用例（请参阅测试生成工作流）。在这种模式下，您可以使用 Test Objective 模块为模型中的信号定义自定义测试目标。值参数允许您指定信号在测试用例仿真期间至少一个时间步长必须达到的值。该模块将指定的值参数应用于其输入信号，并且 Simulink Design Verifier 软件尝试生成满足目标的测试用例。
该模块的参数对话框还允许您
启用或禁用目标。
指定该模块应在 Simulink 编辑器中显示其值参数。
指定该模块应显示其输出端口。
注意
Simulink 和 Simulink Coder™ 软件分别在模型仿真和代码生成期间忽略 Test Objective 模块。Simulink Design Verifier 软件仅在为模型生成测试用例时使用 Test Objective 模块。
示例
此示例展示了两个自定义 Test Objective 模块的使用。模块“True”强制输出信号设为 2。“Masked Objective”中的模块“Edge”指定输出信号从 2 转移到 1。
open_system('sldvdemo_debounce_testobjblks');
端口
输入
参数
如果选中（默认），Simulink Design Verifier 软件在为模型生成测试时使用该模块。清除此选项将禁用该模块，也就是说，导致 Simulink Design Verifier 软件的行为就像 Test Objective 模块不存在一样。如果未选择此选项，则该模块将在 Simulink 编辑器中显示为灰色。
指定测试目标
使用值参数定义信号在测试用例中必须满足的自定义目标。以 MATLAB® 元胞数组的形式指定标量和区间的任意组合。有关元胞数组的信息，请参阅 元胞数组。
提示
如果值参数仅指定一个标量值，则无需以 MATLAB 元胞数组的形式输入。
每个标量值构成数组中的一个元胞，例如：
{0, 5}闭区间由一个二元素向量作为数组中的一个元胞组成，其中每个元素指定一个区间端点：
{[1, 2]}或者，您可以使用 Sldv.Point 构造函数指定标量值，该构造函数接受单个值作为其参量。您可以使用 Sldv.Interval 构造函数指定间隔，该构造函数需要两个输入参量，即区间的下限和上限。您也可以选择提供以下值之一作为第三个输入参量，用于指定区间端点的包含或排除：
'()'- 定义开区间。'[]'- 定义闭区间。'(]'- 定义左开区间。'[)'- 定义右开区间。
注意
默认情况下，如果省略第三个输入参量，Sldv.Interval 会认为区间是封闭的。
例如，值参数
{0, [1, 3]}指定：
0- 标量[1, 3]- 闭区间
值参数
{Sldv.Interval(0, 1, '[)'), Sldv.Point(1)}指定：
Sldv.Interval(0, 1, '[)')- 右开区间[0, 1)Sldv.Point(1)- 标量
规范的逻辑行为
如果为 Test Objective 模块指定多个标量和间隔，则 Simulink Design Verifier 软件在生成测试用例时使用逻辑或运算将它们组合在一起。因此，如果任何单个标量或区间得到满足，则软件认为整个测试目标得到满足。
在单个标量或区间内，通过逻辑“与”运算生成测试目标。在这种情况下，所有信号都必须满足约束，以使输入满足目标。
例如，考虑一个二维开区间：
Sldv.Interval([-5 -5],[5 2],'()')
零向量 [0 0] 满足目标，因为零元素位于区间 -5 到 5 和 -5 到 2 内。
向量 [0 3] 不满足目标，因为第二个元素 3 超出了区间 -5 到 2。
指定模块是否在 Simulink 编辑器中显示其值参数的内容。
如果选中，该模块将显示其输出端口，允许其输入信号作为模块输出通过。如果未选择，该模块将隐藏其输出端口并终止输入信号。
示例: 下图说明了每种情况下模块的外观。
直通样式（显示输出端口）：已选择
直通样式（显示输出端口）：取消选定
扩展功能
版本历史记录
在 R2007a 中推出
