Test Condition

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

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

Test Condition模块返回 Simulink 软件支持的所有内置数据类型的信号。有关支持的数据类型的更多信息，请参阅 Simulink 支持的数据类型 。

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

选择此参数来为模型生成测试。清除此选项将禁用模块。如果清除此选项，则该模块在 Simulink 编辑器中将显示为灰色。

指定该模块是否表现为测试条件或Proof Assumption模块。选择假设将Test Condition模块转换为Proof Assumption模块。

使用值参数来约束测试用例中的信号值。以 MATLAB^®元胞数组的形式指定标量和区间的任意组合。有关更多信息，请参阅 使用参数配置文件 。

或者，您可以使用 Sldv.Point 构造函数指定标量值，该构造函数接受单个值作为其参量。您还可以使用 Sldv.Interval 构造函数指定间隔，该构造函数需要两个输入参量，一个用于间隔的下限，一个用于区间的上限。

例如，值 参数

{0, [1, 3]}

指定：

值 参数

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

指定：

如果为 Test Condition模块指定多个标量和间隔，则 Simulink Design Verifier™ 软件在生成测试用例时使用逻辑或运算将它们组合在一起。因此，如果任何单个标量或区间得到满足，软件就会认为整个测试条件得到满足。

在单个标量或区间内，使用逻辑“与”运算生成测试条件。在这种情况下，所有信号都必须满足约束，以便输入满足条件。

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

Sldv.Interval([-5 -5],[5 2],'()')

零向量 [0 0] 满足条件，因为零元素位于区间 -5 到 5 和 -5 到 2 内。

向量 [0 3] 不满足条件，因为第二个元素 3 超出了区间-5 到 2 的范围。

指定模块是否在Simulink编辑器中显示其值参数的内容。

如果选中，该模块将显示其输出端口，这允许输入信号传递到模块输出。如果未选择，该模块将隐藏其输出端口并终止输入信号。

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

直通模式：已选择

直通模式：已清除