Main Content

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

addRequirementRow

将需求添加到 Requirements Table模块

自 R2022a 起

说明

示例

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'},...
Postcoditions={'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 中推出