Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile

Abstract

This paper describes a toolset for functional testing UML2.0 models by TTCN-3 test suites and its application within Motorola. The toolset incorporates support for part of the UML2.0 testing profile from which TTCN-3 can be generated. The toolset has been developed within Motorola for models developed using Telelogic Tau G2 and test suites using Telelogic Tester. The models are subsequently used for application code generation.

The basic integration of the Telelogic Tau and Tester, called cosim, has novel features, such as the ability to service operations declared as external to the model within TTCN-3, and to control model timer operations within TTCN-3. Translating UML2.0 data structures, such as classes, signal definitions, port definitions, and constants into TTCN-3 is done by a tool called UMB. The paper deals with complexities in mapping Tau UML2.0 types and structuring into TTCN-3.

To provide more rigorous test specification a tool supporting part of the UML2.0 Testing Profile has been developed which enables consistency of test specifications to be checked automatically and also the generation of executable TTCN-3 test suites for cosim.

The toolset is being used by several different product groups within Motorola, and the paper reports some experience and findings, including areas where TTCN-3 can be extended.