信息系

需求图 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