需求圖 RequirementDiagram
約束
- A SysMLRequirementDiagram shall have as a defaultNamespace a Package or a Class with a Requirement stereotype or one of its specializations applied.
- 圖外框所代表的模型元素類型可以是: package、model、modelLibrary、view、requirement
SysML Requirements
Requirement
需求有兩個屬性：id和text，這兩種屬性的類型都是String。
約束
- 沒有opreation、attribute、association、generalization
- 只可以和stereotype爲requirement進行嵌套
- 不可以作爲其他模型元素的類型
Test Case
測試用例是驗證(verify)需求是否滿足(satisfied）的一種方法
約束
The type of return parameter of the stereotyped model element shall be VerdictKind.
SysML Requirement Relationships
Copy
拷貝關係
約束
- 連接兩端圖元必須是requirement
- 需求的屬性中text需要一樣，且起始端的text爲read-only
DerviveReqt
派生
約束
連接兩端圖元必須是requirement
Refine
改善
建議
- 一般使用用例對文本的功能性需求進行改善，用例一一更精確，並且還帶有說明一一會提供文本需求所無法表達的細節和清晰度
約束
無
Satisfy
滿足
約束
連接線末端必須爲requirement
Trace
追蹤
建議
用其他類型代替它
約束
無
Verify
驗證
約束
連接線起始端類型爲test case，末端類型爲requirement
Satisfy
滿足
建議
連接線開始端通常是block
約束
連接線末端類型必須是requirement