测试用例是验证需求是否被满足的一个方法。测试用例是SysML标准中的一个构造型,它扩展了操作(Operation)或行为(Behavior)。使用这个构造型的操作或行为的返回值必须是“验证类型”(VerdictKind)。
验证类型(VerdictKind)是一个枚举型数据,在SysML系统库的“需求”(Requirements)下面。验证类型的定义如下:
SysML中文简体库: SysML英文库:
使用“测试用例”元素,有以下两种方式:
MBSES用户使用说明书