测试用例(TestCase) 

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

验证类型(VerdictKind)是一个枚举型数据,在SysML系统库的“需求”(Requirements)下面。验证类型的定义如下:

SysML中文简体库:        SysML英文库:

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

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

MBSES用户使用说明书