addRequirementRow
语法
说明
向 RequirementRow
= addRequirementRow(reqTable
)reqTable
指定的 Requirements Table模块添加了一个需求。
使用一个或多个名称值参量添加需求。RequirementRow
= addRequirementRow(reqTable
,Name=Value
)
示例
向 Requirements Table 块添加需求
创建一个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'});
输入参数
reqTable
— Requirements Table 模块
RequirementsTable
对象
Requirements Table模块,指定为 RequirementsTable
对象。
名称-值参数
将可选的参量对组指定为 Name1=Value1,...,NameN=ValueN
,其中 Name
是参量名称,Value
是对应的值。名称-值参量必须出现在其他参量后,但参量对组的顺序无关紧要。
示例: addRequirementRow(table,Preconditions={'u1 > 0'})
向 Requirements Table模块添加了一个需求,并且带有先决条件 u1 > 0
。
Actions
— 动作表达式
{''}
(默认) | 字符向量元胞数组
动作表达式,指定为字符向量元胞数组。有关操作的更多信息,请参阅 使用 Requirements Table 模块创建正式需求。
数据类型: char
| cell
Duration
— 持续时间表达式
""
(默认) | 字符串标量 | 字符向量
持续时间表达式,指定为字符串标量或字符向量。有关持续时间的更多信息,请参阅 使用时序逻辑执行控制需求。
数据类型: char
| string
Preconditions
— 预条件表达式
{''}
(默认) | 字符向量元胞数组
预条件表达式,指定为字符向量元胞数组。有关预条件的更多信息,请参阅 使用 Requirements Table 模块创建正式需求。
示例: addRequirementRow(table,Preconditions={'u1 > 0','','u3 > 0'})
向 Requirements Table模块添加一个需求,其中第一个预条件列中有 u1 > 0
,第二个预条件列中没有任何内容,第三个预条件列中有 u3 > 0
。
数据类型: char
| cell
Postconditions
— 后条件表达式
{''}
(默认) | 字符向量元胞数组
后条件表达式,以字符串数组或字符元胞数组数组形式输入。有关后条件的更多信息,请参阅 使用 Requirements Table 模块创建正式需求。
示例: addRequirementRow(table,Postconditions={'u1 > 0','','u3 > 0'})
向 Requirements Table模块添加一个需求,其中第一个后条件列中有 u1 > 0
,第二个后条件列中没有任何内容,第三个后条件列中有 u3 > 0
。
数据类型: char
| cell
rowType
— 需求类型
"normal"
(默认) | "default"
| "anyChildActive"
| "allChildrenActive"
需求类型,由以下值之一指定:
值 | 描述 |
---|---|
"normal" | 创建具有所有可用属性的普通需求。 |
"default" | 创建默认的语义需求。默认需求不能有预条件。 |
"anyChildActive" | 创建任何子活动语义需求。父需求不能有预条件,子需求不能有后条件或动作。 |
"allChildrenActive" | 创建一个“所有子项均为活跃状态”语义需求。父需求不能有预条件,子需求不能有后条件或动作。 |
您可以创建普通需求或语义需求。有关语义需求和假设的更多信息,请参阅 在 Requirements Table 模块中指定行类型。如果不包含此名称-值对,该函数将创建普通需求。
数据类型: enumerated
Summary
— 需求摘要文本
""
(默认) | 字符串标量 | 字符向量
需求摘要文本,指定为字符串标量或字符向量。使用此名称值参量将文本添加到 Requirements Table 模块的需求选项卡中的摘要列。
数据类型: char
| string
输出参量
RequirementRow
— 需求
RequirementRow
对象
需求,作为 RequirementRow
对象返回。
版本历史记录
在 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)