利用形式需求的评估顺序

自 R2022a 起

Requirements Table模块从第一个需求开始向下评估需求。您可以通过为数据分配值，然后在需求集稍后列出的需求中使用数据来利用此行为。

例如，如果您想在其他需求的预条件中引用本地数据：

列出集合中首先定义本地数据值的需求。
稍后列出预条件中需要本地数据的需求。
验证您的需求在写入之前不会读取数据。
- 如果您有Simulink^® Design Verifier™，您可以分析需求来检测在写入数据之前读取数据的实例。在表选项卡的分析部分中，点击分析表。请参阅检测先读后写问题。

有关如何定义需求的更多信息，请参阅使用 Requirements Table 模块创建正式需求。

如果启用了在预条件中启用输出属性或者数据是 getPrevious 运算符中的参量，则可以在预条件中引用输出数据。要启用此属性，请打开Requirements Table模块。在建模选项卡的设计数据部分中，点击属性检查器。在属性选项卡中，启用在预条件中启用输出属性。请参阅在预条件中启用输出。