anyValue

此示例显示如何抑制 Requirements Table 模块中的不完整性问题。

在 Requirements Table 模块中，为每个父需求创建两个父需求和两个子需求。定义检查 u1 和 u2 的值的前提条件表达式，如示例表所示。定义后条件表达式，检查 y 的值是否符合 1.1、1.2 和 2.2 的需求，如示例表所示。在此示例中，当 u1 和 u2 小于或等于 0 时，模型输出不在设计范围内。将需求 2.1 的后条件定义为 y == anyValue。