Zhen Ru Dai

From U2TP models to executable tests with TTCN-3 - an approach to model driven testing -

The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3) is discussed. The transformation rules between the source U2TP meta-model to the target TTCN-3 meta-model are given.

The UML 2.0 testing profile and its relation to TTCN-3

UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the approach towards system engineering with automated code generation, the need for solid conformance testing has increased. In June 2001, an OMG Request For Proposal (RFP) on an UML2.0 Testing Profile (UTP) has been initiated. This RFP solicits proposals for a UML2.0 profile, which enables the specification of tests for structural and behavioural aspects of computational UML models, and which is capable to interoperate with existing test technologies for black box testing. This paper discusses different approaches for testing with UML and discusses the ongoing work of the Testing Profile. Special emphasize is laid on the mapping of UML2.0 testing concepts to the standardized Testing and Test Control Notation (TTCN-3).

Timed TTCN-3 - A Real-time Extension for TTCN-3

The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TimedTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TimedTTCN-3 introduces absolute time, allows the definition of synchronization requirements for test components and provides possibilities to specify online and offline evaluation procedures for real-time requirements.

Applying SaMsTaG to the B-ISDN protocol SSCOP

The test generation method SaMsTaG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). For approximately 70% of the identified test purposes complete TTCN test cases have been generated automatically. In this paper we describe the experiment, discuss the results and explain how further improvements of the test generation process can be achieved.

Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing

This paper introduces real-time communication patterns (RTC-patterns) for capturing real-time requirements of communication systems. RTC-patterns for some of the most common real-time requirements are presented. They are formalized by using Message Sequence Charts (MSCs). The application of RTC-patterns to testing is explained by an example. The example shows how real-time requirements which are expressed using RTC-patterns can be related to TimedTTCN-3 evaluation functions.

TIMEDTTCN-3 based graphical real-time test specification

The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has been submitted for standardization. For a complete integration of TIMEDTTCN-3 into the TTCN-3-based testing process, the usage of TIMEDTTCN-3 in combination with MSC and GFT needs to be established. This paper presents our approach for graphical real-time test specification based on MSC and TIMEDGFT, which is our real-time extension of GFT. We explain how MSC can be used for the description of realtime test purposes and define TIMEDGFT. Our approach includes the automatic generation of TIMEDTTCN-3 test cases based on MSC test purposes and TIMEDGFT diagrams.

From Design to Test with UML

The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to use the testing profile in order to modify and extend an existing UML design model for test issues. As a case study, a new roaming algorithm for bluetooth devices has been developed at the University of Lubeck, is modelled using UML. The usability of the UML Testing Profile will be explained by applying it to this model.