核实关系

验证关系用于指示需求已被满足。关系是 Dependency 的一种类型，由带有关键字 <<verify>> 的虚线表示，并带有一个从测试用例（Client）指向需求（Supplier）的空心箭头。

验证关系可从 SysML需求工具箱的关系页面获得。

测试用例可以描述方法或测试过程；它包含一个定义判断（测试结果）的标签，可以是：

• 经过
• 失败
• 不确定的
• 错误
• 用户定义的值

满足关系有一个相关的目的，它描述了设计或系统的哪一部分实际用于执行需求中表达的概念。

在此图中，需求描述了低光照条件，并且有两个单独的测试案例用于验证需求。建模者选择显示“satisfiedBy”隔间，以帮助阐明实施的哪些部分正在接受测试。请注意，每个测试用例的判断是不同的：After Dark测试是不确定的，而 Shadow测试通过了。建模者可以选择A单个图表中显示或隐藏 Verdict 标记。