addChild
说明
示例
向 Requirement Table 块添加子需求
创建一个Requirements Table模块并检索RequirementsTable
对象。
table = slreq.modeling.create("myModel");
新的 Requirements Table 块以一个需求开始。使用getRequirementRows
函数找到与需求对应的RequirementRow
对象。
row = getRequirementRows(table);
按照需求添加一个孩子。
childReq = addChild(row);
添加具有预条件和后条件的子假设
创建一个Requirements Table模块并检索RequirementsTable
对象。
table = slreq.modeling.create("myModel");
使用 addAssumptionRow
函数向模块添加假设。
row = addAssumptionRow(table);
在假设中添加一个具有预条件和 后条件列表达式的子项。
child = addChild(row,Preconditions={'u1 > 1'},... Postcoditions={'y1 > 0'});
输入参数
row
— 需求或假设
RequirementRow
对象 | AssumptionRow
对象
Requirements Table模块中的需求或假设,指定为 RequirementRow
或 AssumptionRow
对象。要检索行,请使用 getRequirementRows
、getAssumptionRows
或 getChildren
。
名称-值参数
将可选的参量对组指定为 Name1=Value1,...,NameN=ValueN
,其中 Name
是参量名称,Value
是对应的值。名称-值参量必须出现在其他参量后,但参量对组的顺序无关紧要。
示例: newChild = addChild(row,Preconditions={'u1 > 1'},Duration="5")
从 RequirementRow
对象 row
返回一个子需求,该子需求具有预条件 u1 > 1
且持续时间等于 5
。如果 row
是 AssumptionRow
,则此示例会产生错误,因为假设没有持续时间属性。
Actions
— 动作表达式
{''}
(默认) | 字符向量元胞数组
动作表达式,指定为字符向量元胞数组。仅当 row
是 RequirementRow
对象时才可以指定此属性。有关操作的更多信息,请参阅 使用 Requirements Table 模块创建正式需求。
数据类型: cell
| char
Duration
— 持续时间表达式
""
(默认) | 字符串标量 | 字符向量
持续时间表达式,指定为字符串标量或字符向量。仅当 row
是 RequirementRow
对象时才可以指定此属性。有关持续时间的更多信息,请参阅 使用时序逻辑执行控制需求。
数据类型: char
| string
Preconditions
— 预条件表达式
{''}
(默认) | 字符向量元胞数组
预条件表达式,指定为字符向量元胞数组。如果 row
是一个假设,则每个子项只能指定一个先决条件。有关预条件的更多信息,请参阅 使用 Requirements Table 模块创建正式需求。
数据类型: cell
| char
Postconditions
— 后条件表达式
{''}
(默认) | 字符向量元胞数组
后条件表达式,指定为字符向量元胞数组。如果 row
是一个假设,则每个子项只能指定一个后条件。有关后条件的更多信息,请参阅 使用 Requirements Table 模块创建正式需求。
数据类型: cell
| char
rowType
— 行类型
"normal"
(默认) | "default"
| "anyChildActive"
| "allChildrenActive"
行类型,指定为以下值之一:
值 | 描述 |
---|---|
"normal" | 创建具有所有可用属性的普通子行。 |
"default" | 创建默认语义子行。默认行不能有先决条件。 |
"anyChildActive" | 创建一个语义子行,其中任何子行都可以处于活动。所添加行的子行不能有后条件或动作,所添加行不能有预条件。请参阅在 Requirements Table 模块中指定行类型。 |
"allChildrenActive" | 创建一个语义子行,其中所有子行都必须是活动的。所添加行的子行不能有后条件或动作,所添加行不能有预条件。请参阅在 Requirements Table 模块中指定行类型。 |
如果不包含此名称-值对,该函数会创建一个普通行。
数据类型: enumerated
Summary
— 子行摘要文本
""
(默认) | 字符串标量 | 字符向量
子行摘要文本,指定为字符串标量或字符向量。使用此名称值参量将文本添加到 Requirements Table模块的需求或假设选项卡中的摘要列。
数据类型: char
| string
输出参量
newChild
— 子需求或假设
RequirementRow
或 AssumptionRow
对象
子需求或假设,以输入参量row
指定的相同对象类型返回。例如,如果 row
是 RequirementRow
,那么 newChild
就是 RequirementRow
。有关 Requirements Table 块中需求层次结构的更多信息,请参阅 在 Requirements Table 模块中建立层次结构。
版本历史记录
在 R2022a 中推出
MATLAB 命令
您点击的链接对应于以下 MATLAB 命令:
请在 MATLAB 命令行窗口中直接输入以执行命令。Web 浏览器不支持 MATLAB 命令。
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)