SysML需求图

本文详细介绍了SysML需求图,包括其约束条件、需求的属性与限制、测试用例以及各种关系如Copy、DeriveReqt、Refine、Satisfy、Trace和Verify,强调了它们的用途和约束,帮助理解SysML在需求管理中的应用。
摘要由CSDN通过智能技术生成

## 需求图 RequirementDiagram
### *约束*
1. A SysMLRequirementDiagram shall have as a defaultNamespace a Package or a Class with a Requirement stereotype or one of its specializations   applied.
2. 图外框所代表的模型元素类型可以是: package、model、modelLibrary、view、requirement
## SysML Requirements
***
### Requirement
需求有两个属性:id和text,这两种属性的类型都是String。
#### 约束
1. 没有opreation、attribute、association、generalization
2. 只可以和stereotype为requirement进行嵌套
3. 不可以作为其他模型元素的类型
### Test Case
测试用例是验证(verify)需求是否满足(satisfied)的一种方法
#### *约束*
1. The type of return parameter of the stereotyped model element shall be  VerdictKind.
## SysML Requirement Relationships
### Copy
拷贝关系
#### *约束*
1. 连接两端图元必须是requirement
2. 需求的属性中text需要一样,且起始端的text为read-only。
### DerviveReqt
派生
#### *约束*
连接两端图元必须是requirement
### Refine
改善
#### *建议*
1. 一般使用

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值