需求图 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）的一种方法

约束

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

改善

建议

一般使用用例对文本的功能性需求进行改善，用例一一更精确，并且还带有说明

约束

无

---

Satisfy

满足

约束

连接线末端必须为requirement

---

Trace

追踪

建议

用其他类型代替它

约束

无

---

Verify

验证

约束

连接线起始端类型为test case，末端类型为requirement

---

Satisfy

满足

建议

连接线开始端通常是block

约束

连接线末端类型必须是requirement

---

示例