Test Objective

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

数据类型: single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated | bus

如果选中（默认），Simulink Design Verifier 软件在为模型生成测试时使用该模块。清除此选项将禁用该模块，也就是说，导致Simulink Design Verifier软件的行为就像Test Objective模块不存在一样。如果未选择此选项，则该模块将在 Simulink 编辑器中显示为灰色。

指定测试目标

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

每个标量值构成数组中的一个元胞，例如：

{0, 5}

闭区间由一个二元素向量作为数组中的一个元胞组成，其中每个元素指定一个区间端点：

{[1, 2]}

或者，您可以使用 Sldv.Point 构造函数指定标量值，该构造函数接受单个值作为其参量。您可以使用 Sldv.Interval 构造函数指定间隔，该构造函数需要两个输入参量，即区间的下限和上限。或者，您可以提供以下值之一作为第三个输入参量，指定包含或排除区间端点：

例如，值 参数

{0, [1, 3]}

指定：

值 参数

{Sldv.Interval(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编辑器中显示其值参数的内容。

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

示例: 下图说明了每种情况下模块的外观。

直通样式（显示输出端口）：已选择

直通样式（显示输出端口）：取消选定