Main Content

本页采用了机器翻译。点击此处可查看英文原文。

检测 Requirements Table 模块中的排他性问题

自 R2023b 起

您可以使用互斥穷举需求来创建不重叠且完整的子需求。当您创建互斥穷举子需求时，您必须避免排他性问题，此类问题在多个或没有互斥穷举需求处于活动时发生。如果您有Simulink® Design Verifier™，您可以在仿真之前分析表格以检测这些排他性问题。有关互斥穷举需求的更多信息，请参阅 创建独家详尽的需求。

要分析该模块，请在表中点击分析表。当互斥穷举需求存在排他性问题时，表格会以红色突出显示父需求，并显示警告图标 。在该图中，父需求具有互斥穷举子需求。该表存在两个排他性问题。

Requirements table with one parent requirement and three child requirements. The parent requirement is highlighted red and has an alert icon.

分析结果窗格显示有关排他性问题的其他信息。为了解决第一个问题，请修改现有需求以消除 u 大于 3 时的重叠。为了解决第二个问题，引入定义 u 何时大于或等于 -4 且小于或等于 0 的需求。

The Analysis Results pane listing the information for the two exclusivity issues.

相关主题