验证关系

验证关系用于指示已满足要求。该关系是一种依赖关系，由带有关键字<< verify >>的虚线表示，箭头从测试用例（客户端）指向需求（供应商）。

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

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

• 通过
• 失败
• 没有定论
• 错误
• 用户定义的值

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

在此图中，需求描述了光线不足的情况，并且有两个单独的测试用例用于验证需求。建模者已选择显示“ satisfiedBy”部分，以帮助弄清要对实现的哪个部分进行测试。请注意，每个测试用例的结论是不同的：“暗中测试”尚无定论，而“阴影”测试通过。建模者可以选择在各个图中显示或隐藏Verdict标签。