Test Objective块接受Simulink软件支持的所有内置数据类型的信号。金宝app金宝app有关Simulink软件支持的数据类型的讨论，请参见金宝app金宝appSimulink支持的金宝app数据类型金宝app．该块不支持复杂的输入信号。金宝app

数据类型:单|双|int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举|公共汽车

如果选中(默认值)，金宝appSimulink设计验证器软件在为模型生成测试时使用该块。清除此选项将禁用该块，即导致金宝appSimulink设计验证器软件表现得好像Test Objective块不存在一样。如果未选择此选项，则该块将在Simulink编辑器中显示为灰色。金宝app

指定测试目标

使用值参数来定义信号在测试用例中必须满足的自定义目标。以MATLAB的形式指定标量和区间的任何组合^®单元阵列。有关单元格数组的信息，请参见细胞数组．

每个标量值包含数组中的一个单元格，例如:

{0, 5}

一个封闭区间包含一个两元素向量作为数组中的单元格，其中每个元素指定一个区间端点:

{[1, 2]}

属性指定标量值Sldv。点构造函数，它接受单个值作为参数。方法指定间隔Sldv。时间间隔构造函数，它需要两个输入参数，即间隔的下界和上界。可选地，您可以提供以下值之一作为第三个输入参数，指定包含或排除间隔端点:

作为一个例子，值参数

{0， [1,3]}

指定:

的值参数

{Sldv。Interval(0,1， '[)')， Sldv.Point(1)}

指定:

规范的逻辑行为

如果为“测试目标”块指定多个标量和间隔，则金宝appSimulink设计验证器软件在生成测试用例时使用逻辑OR操作将它们组合在一起。因此，如果任何单个标量或区间得到满足，软件就认为整个测试目标得到满足。

在单个标量或区间内，使用逻辑AND操作生成测试目标。在这种情况下，为了使输入满足目标，所有信号都必须满足约束条件。

例如，考虑一个二维开放区间:

Sldv。Interval([-5 -5]，[5 2]，'()')

零向量[0 0]因为零元素在区间内，所以满足目标5来5而且5来2．

向量[0 3]不满足目标是因为第二个元素3落在区间之外5来2．

指定块是否显示其内容值参数在Simulink编辑器。金宝app

如果选中，块显示其输出端口，允许其输入信号作为块输出通过。如果未选中，则块隐藏其输出端口并终止输入信号。

例子:下面的图形说明了每种情况下块的外观。

直通样式(show Outport):选中

直通样式(show Outport):取消选择