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

addRequirementRow

将需求添加到 Requirements Table 模块

自 R2022a 起

全页折叠

语法

RequirementRow = addRequirementRow(reqTable)
RequirementRow = addRequirementRow(reqTable,Name=Value)

说明

RequirementRow = addRequirementRow(reqTable) 向 reqTable 指定的 Requirements Table 模块添加了一个需求。

RequirementRow = addRequirementRow(reqTable,Name=Value) 使用一个或多个名称值参量添加需求。

示例

示例

全部折叠

创建一个 Requirements Table 模块并检索 RequirementsTable 对象。

table = slreq.modeling.create("myModel");

向模块中添加需求。

row = addRequirementRow(table);

创建一个 Requirements Table 模块并检索 RequirementsTable 对象。

table = slreq.modeling.create("myModel");

使用预条件、后条件和操作列中的表达式向模块添加需求。

row = addRequirementRow(table,Preconditions={'u1 > 1'},...
Postconditions={'y1 > 0'},Actions={'y2 = 1'});

输入参数

全部折叠

Requirements Table 模块，指定为 RequirementsTable 对象。

名称-值参数

全部折叠

以 Name1=Value1,...,NameN=ValueN 的形式指定可选参量对组，其中 Name 是参量名称，Value 是对应的值。名称-值参量必须出现在其他参量之后，但对各个参量对组的顺序没有要求。

示例: addRequirementRow(table,Preconditions={'u1 > 0'}) 向 Requirements Table 模块添加了一个需求，并且带有前提条件 u1 > 0。

动作表达式，指定为字符向量元胞数组。有关操作的更多信息，请参阅 使用 Requirements Table 模块创建正式需求。

数据类型: char | cell

持续时间表达式，指定为字符串标量或字符向量。有关持续时间的更多信息，请参阅 使用时序逻辑执行控制需求。

数据类型: char | string

预条件表达式，指定为字符向量元胞数组。有关预条件的更多信息，请参阅 使用 Requirements Table 模块创建正式需求。

示例: addRequirementRow(table,Preconditions={'u1 > 0','','u3 > 0'}) 向 Requirements Table 模块添加一个需求，其中第一个预条件列中有 u1 > 0，第二个预条件列中没有任何内容，第三个预条件列中有 u3 > 0。

数据类型: char | cell

后条件表达式，以字符串数组或字符元胞数组数组形式输入。有关后条件的更多信息，请参阅 使用 Requirements Table 模块创建正式需求。

示例: addRequirementRow(table,Postconditions={'u1 > 0','','u3 > 0'}) 向 Requirements Table 模块添加一个需求，其中第一个后条件列中有 u1 > 0，第二个后条件列中没有任何内容，第三个后条件列中有 u3 > 0。

数据类型: char | cell

需求类型，由以下值之一指定：

值描述
"normal"创建具有所有可用属性的普通需求。
"default"创建默认的语义需求。默认需求不能有预条件。
"anyChildActive"创建任何子活动语义需求。父需求不能有预条件，子需求不能有后条件或动作。
"allChildrenActive"创建一个“所有子项均为活跃状态”语义需求。父需求不能有预条件，子需求不能有后条件或动作。

您可以创建普通需求或语义需求。有关语义需求和假设的更多信息，请参阅 在 Requirements Table 模块中指定行类型。如果不包含此名称-值对，该函数将创建普通需求。

数据类型: enumerated

需求摘要文本，指定为字符串标量或字符向量。使用此名称值参量将文本添加到 Requirements Table 模块的需求选项卡中的摘要列。

数据类型: char | string

输出参量

全部折叠

需求，作为 RequirementRow 对象返回。

版本历史记录

在 R2022a 中推出

另请参阅

模块

函数

对象

主题