41、UML 2.0测试概要与运行时验证技术解析

UML 2.0测试概要与运行时验证技术解析

1. UML 2.0测试概要（U2TP）

U2TP是一种新的UML概要，它提供了基于UML 2.0进行测试规范的方法。通过使用U2TP，UML系统模型可被用于测试目的，这增强了系统设计师和测试设计师之间的协作。此外，现有的系统模型可以为测试人员提供更详细的测试规范，节省了测试规范的时间和成本。

U2TP不仅引入了测试概念，还介绍了将U2TP分别映射到JUnit和TTCN - 3的规则。基于这些映射和现有的JUnit及TTCN - 3编译器，测试模型可以被执行。下面通过一个蓝牙漫游测试的案例来详细说明U2TP的使用。

1.1 蓝牙漫游测试案例

在TTCN - 3中，MTC负责测试配置的设置。 BluetoothSuite Configuration 函数（第1 - 25行）用于创建测试组件，包括被测系统（SUT）与测试组件之间的映射以及测试组件内部的连接，该函数在 TestCoordintor CType 上运行。

NoWarning master 函数（第26 - 49行）指定了测试用例 TestRomaing noWarning 中主实例的行为。根据调用该函数的主实例（M1、M2或M3）不同，会执行相应的行为，其顺序源于图17.10测试场景中三个主实例的消息交换。

以下是测试用例 TestRoaming noWarning 的代码：

(1)
/* test case */
testcase