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 real-time test purposes and define TimedGFT. Our approach includes the automatic generation of TimedTTCN-3 test cases based on MSC test purposes and TimedGFT diagrams.