Main Content

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

Requirements Table 模块中指定子评估

您可以通过指定子评估来指定 Requirements Table 如何评估同一级别的需求。子评估决定模块是否独立评估需求、将其作为互斥穷举需求进行评估还是按优先顺序进行评估。您可以在表上设置子评估来定义第一级层次结构需求如何评估,或者在父需求上设置子评估来定义其子需求如何评估。有关需求层次结构的更多信息,请参阅 在 Requirements Table 模块中建立层次结构

您可以使用 Requirements Table模块为表或需求指定这些子评估:

  • 独立

  • 互斥穷举

  • 优先

独立需求

当模块评估一组独立的兄弟需求时,模块从第一个需求开始评估需求,然后向下进行。默认情况下,子评价是独立的。

独立评估的需求不会在行索引单元格中显示图标。

独家详尽需求

当模块评估互斥穷举需求时,模块会检查需求是否完整且不重叠。当您运行仿真时,该模块会验证在每个时间步中是否恰好有一个互斥穷举兄弟需求处于活动。如果在任何时间步中没有任何需求或有多个需求处于活动,则该模块在仿真期间返回错误或在分析期间返回问题。请参阅 分析 Requirements Table 模块以解决建模问题检测 Requirements Table 模块中的排他性问题

行索引单元格中的排他性图标表示互斥穷举需求。有关互斥穷举需求的更多信息,请参阅 创建独家详尽的需求

您不能对所有激活子级任何激活子级语义行的子需求指定互斥穷举评估。当您选择其中一行时,“计算”下拉菜单将变暗。

优先需求

当模块评估优先需求时,模块会从第一个需求开始评估需求组,然后向下进行。当模块达到第一个优先级需求,且其先决条件计算结果为 true 时,模块会检查该需求的后条件,而不会检查其余需求。

行索引单元格中的优先级图标表示优先级需求。有关优先需求的更多信息,请参阅 创建优先需求

您不能为所有激活子级任何激活子级语义行的子需求指定优先评估。当您选择其中一行时,“计算”下拉菜单将变暗。

以编程方式指定子评估

要指定如何评估父需求的直接子需求,请使用 RequirementRow 对象的 ChildEvaluation属性。要指定如何评估 Requirements Table模块中的顶级需求,请使用 RequirementsTable 对象的 ChildEvaluation属性。您可以将 ChildEvaluation属性设置为 'independent''prioritized''exclusiveExhaustive'。请参阅 创建独家详尽的子需求创建具有优先第一级层次结构需求的需求表

另请参阅

|

相关主题