The Graphical Format of TTCN-3 in the Context of MSC and UML

  • Ina Schieferdecker
  • Jens Grabowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2599)


Graphical system design techniques like Message Sequence Chart (MSC) and Unified Modelling Language (UML) are gaining more and more acceptance because they ease the development, understanding, and maintenance of software systems. In the testing area no accepted graphical test specification and implementation techniques exist. To overcome this shortcoming, a graphical presentation format for the Testing and Test Control Notation (GFT) has been defined. GFT supports the graphical design, implementation, visualization, documentation and tracing of test behaviour. GFT is based on MSC and extends it with test specific concepts like verdicts and defaults. GFT is also the basis for the definition of a UML testing profile to enable the integrated system and test development with UML models. This paper discusses GFT and its relation to MSC and to the UML testing profile.


Unify Modelling Language Test Behaviour Test Configuration System Under Test Unify Modelling Language Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ISO/IEC 9646-3 (1998): “Information technology-Open systems interconnection-Conformance testing methodology and framework-Part 3: The Tree and Tabular combined Notation (TTCN)Google Scholar
  2. [2]
    ETSI ES201873-1v220 (2002) TTCN-3: Core Language.Google Scholar
  3. [3]
    ETSI ES201873-2v220 (2002) TTCN-3: Tabular Presentation Format.Google Scholar
  4. [4]
    ETSI DES201873-3v220 (2002) TTCN-3: Graphical Presentation Format.Google Scholar
  5. [5]
    ITU-T Recommendation Z.120 (2000): Message Sequence Charts (MSC).Google Scholar
  6. [6]
    OMG: The Initial Submission to the RFP on the UML Testing Profile, April 2002.Google Scholar
  7. [7]
    J. Grabowski, T. Walter. Visualisation of TTCN Test Cases by MSCs, SAM98, Proc. of the 1st Workshop on SDL and MSC, Humboldt University Berlin, 1998.Google Scholar
  8. [8]
    P. Baker, C. Jervis, D. King:An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications.-Scottish Functional Programming Workshop/Trends in Functional Programming.Google Scholar
  9. [9]
    J. Grabowski, D. Hogrefe.TTCN, SDL-and MSC-based specification and automated test case generation for INAP. “Proc. of the 8th Intern. Conf. on Telecommunication Systems (ICTS’2000)-Modeling and Analysis”, Nashville, March 2000.Google Scholar
  10. [10]
    C. Jard, S. Pickin: COTE-Component Testing using the Unified Modelling Language.-ERCIM News No.48, January 2002.Google Scholar
  11. [11]
    T. Vassiliou-Gioles, M. Li, I. Schieferdecker, M. Born, M. Winkler: Configuration and Execution Support for Distributed Systems.-IWTCS’99, Budapest, Hungary, Sept. 1999.Google Scholar
  12. [12]
    The Open Group: ADL 2.0 Translation System, 1998.
  13. [13]
    M. Born, I. Schieferdecker, M. Li: Test Framework for Component-Based Systems, Intern. Workshop on Distributed System Validation and Verification (DSVV’2000), Taipei (Taiwan), April 2000.Google Scholar
  14. [14]
    M. Born, I. Schieferdecker, M. Li: UML Framework for Automated Generation of Component-Based Test Systems.-Intern. Conf. on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD’00), Reims, France (2000).Google Scholar
  15. [15]
    C. Crichton et al.: Using UML for Automatic Test Generation: Proc. of the Intern. Conf. On Automated Software Engineering, ASE’2001.Google Scholar
  16. [16]
    E. Rudolph, I. Schieferdecker, J. Grabowski: HyperMSC-a Graphical Representation of TTCN. Proc. of the 2nd Workshop on SDL and MSC (SAM’2000), Grenoble (France), June, 26-28, 2000.Google Scholar
  17. [17]
    E. Rudolph, I. Schieferdecker, J. Grabowski: Development of an MSC/UML Test Format. FBT’2000-Formale Beschreibungstechniken für verteilte Systeme (Editors: J. Grabowski, S. Heymer), Shaker Verlag, Aachen, June 2000.Google Scholar
  18. [18]
    Testing Technologies. TT Tool Series.
  19. [19]
    ANSI/IEEE. Glossary of Software Engineering Terminology. ANSI/IEEE Std 729-1983, ANSI/IEEE Std 729–1983, 1983.Google Scholar
  20. [20]
    B. Beizer. Software Testing Techniques Second Edition. Van Nostrand Reinhold New York, 1990.Google Scholar
  21. [21]
    G. J. Myers: The Art of Software Testing. John Wiley, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Ina Schieferdecker
    • 1
  • Jens Grabowski
    • 2
  1. 1.MU LübeckGermany
  2. 2.FOKUS BerlinGermany

Personalised recommendations