SysML需求图

本文详细介绍了SysML需求图,包括其约束条件、SysML Requirements的特性、Test Case的定义以及SysML Requirement Relationships中的各种关系,如Copy、DeriveReqt、Refine、Satisfy、Trace和Verify。需求图主要用于表示和管理项目的需求,而Test Case用于验证需求的满足情况。各种关系中,如Refine提供了对需求的细化,Satisfy则描述了如何满足特定需求。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值