测试用例（TestCase）

测试用例是验证需求是否被满足的一个方法。测试用例是SysML标准中的一个构造型，它扩展了操作（Operation）或行为（Behavior）。使用这个构造型的操作或行为的返回值必须是“验证类型”（VerdictKind）。

验证类型（VerdictKind）是一个枚举型数据，在SysML系统库的“需求”（Requirements）下面。验证类型的定义如下：

SysML中文简体库： SysML英文库：

使用“测试用例”元素，有以下两种方式：

建立具体的行为类，如果“活动”、“交互”或“状态机”，然后在这个元素上增加«测试用例»（«testCase»）系统构造型。这种方式可以直接为测试用例定义相应的图。
直接定义一个“测试用例”元素（从需求图的图形工具栏拖出一个测试用例节点）。因为并没有指定这个测试用例是什么类型的行为，所以不能直接的为这个元素定义行为图。但是你可以为这个元素增加相应类型的“拥有行为”元素，然后再为这个行为定义行为图。