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

改善

建议

1. 一般使用用例对文本的功能性需求进行改善，用例一一更精确，并且还带有说明一一会提供文本需求所无法表达的细节和清晰度

约束

无

Satisfy

满足

约束

连接线末端必须为requirement

Trace

追踪

建议

用其他类型代替它

约束

无

Verify

验证

约束

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

Satisfy

满足

建议

连接线开始端通常是block

约束

连接线末端类型必须是requirement