为第一级层次结构需求指定独占详尽评估

要创建互斥穷举第一级需求，请确保未选择某行，并且在表 选项卡的行 部分中，将计算设置为 Exclusive Exhaustive。排他性图标 表示第一级层级需求是互斥穷举的。只有第一级层次的需求才是排他性的互斥穷举。较低级别的需求并不是互斥穷举的，而是独立评估的。

例如，在此表中，模块检查每个时间步中需求 1、2 或 3 中只有一个处于活动。

您可以通过设置 RequirementsTable 对象的 ChildEvaluation属性以编程方式创建互斥穷举第一级需求。

指定对子需求的独家详尽评估

为了使父需求的子需求互斥穷举，请选择父需求的行索引。然后，在表 选项卡的行 部分中，将计算设置为 Exclusive Exhaustive。排他性图标 表示该需求是互斥穷举的。当您为父需求指定互斥穷举子需求评估时，只有父需求的直接子需求才会变为互斥穷举。较低级别的需求并不是互斥穷举的，而是独立评估的。

在此表中，需求 1 的子评估是互斥穷举的，而子需求1.1、1.2 和 1.3 显示排他性图标。

要删除父需求的互斥穷举子评估，点击父需求行索引并将计算设置为 Independent。

您可以通过设置 RequirementRow 对象的 ChildEvaluation属性以编程方式创建互斥穷举子需求。

验证独家详尽需求

如果您有Simulink^® Design Verifier™，您可以在运行仿真之前通过分析表格中的排他性问题来验证您的互斥穷举需求。要分析该模块，请在表 选项卡中点击分析表。有关分析和排他性问题的更多信息，请参阅检测 Requirements Table 模块中的排他性问题。