Advertisement

TimedTTCN-3 Based Graphical Real-Time Test Specification

  • Zhen Ru Dai
  • Jens Grabowski
  • Helmut Neukirchen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2644)

Abstract

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.

References

  1. 1.
    P. Baker, P. Bristow, C. Jervis, D. King, and B. Mitchell. Automatic Generation of Conformance Tests From Message Sequence Charts. In Proceedings of the 3rd SAM (SDL and MSC) Workshop, 2002.Google Scholar
  2. 2.
    P. Baker, E. Rudolph, and I. Schieferdecker. Graphical Test Specification — The Graphical Format of TTCN-3. In R. Reed and J. Reed, editors, SDL2001 — Meeting UML. Springer, 2001.Google Scholar
  3. 3.
    Z.R. Dai, J. Grabowski, and H. Neukirchen. Timed TTCN-3 — A Real-Time Extension for TTCN-3. In I. Schieferdecker, H. König, and A. Wolisz, editors, Testing of Communicating Systems, volume 14, Berlin, March 2002. Kluwer.Google Scholar
  4. 4.
  5. 5.
    Da Vinci Communications Terzo tools product information. http://www.davinci-communications.com/products_ttcn3.html, 2002.
  6. 6.
    M. Ebner, A. Yin, and M. Li. Definition Utilisation of OMG IDL to TTCN-3 Mappings. In I. Schieferdecker, H. König, and A. Wolisz, editors, Testing of Communicating Systems — Application to Internet Technologies and Services, volume 14. Kluwer, 2002.Google Scholar
  7. 7.
    ETSI Technical Report (TR) 101 666 (1999-05): Information technology — Open Systems Interconnection Conformance testing methodology and framework; The Tree and Tabular Combined Notation (TTCN) (Ed. 2++). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis (France), 1999.Google Scholar
  8. 8.
    ETSI European Standard (ES) 201 873-1 V2.2.1 (2002-08): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis (France), 2002.Google Scholar
  9. 9.
    ETSI European Standard (ES) 201 873-3 V2.2.1 (2002-09): The Testing and Test Control Notation version 3; Part 3: Graphical Presentation Format for TTCN-3 (GFT). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis (France), 2002.Google Scholar
  10. 10.
    N. Goga. Comparing TorX, Autolink, TGV and UIO Test Algorithms. In R. Reed and J. Reed, editors, SDL2001 — Meeting UML. Springer, 2001.Google Scholar
  11. 11.
    J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe. SDL and MSC Based Test Generation for Distributed Test Architectures. In R. Dssouli, G. von Bochmann, and Y. Lahav, editors, SDL’99 — The next Millenium. Elsevier Science Publishers B.V., 1999.Google Scholar
  12. 12.
    J. Grabowski and T. Walter. Visualisation of TTCN test cases by MSCs. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC — SAM’98, 1998.Google Scholar
  13. 13.
    J. Grabowski, A. Wiles, C. Willcock, and D. Hogrefe. On the Design of the New Testing Language TTCN-3. In H. Ural, R.L. Probert, and G. von Bochmann, editors, Testing of Communicating Systems, volume 13. Kluwer, 2000.Google Scholar
  14. 14.
    D. Hogrefe. Report on the Validation of the Inres System. Technical Report IAM-95-007, Universität Bern, November 1995.Google Scholar
  15. 15.
    A. Kerbrat, T. Jéron, and R. Groz. Automated test generation from SDL specification. In R. Dssouli, G. von Bochmann, and Y. Lahav, editors, SDL’99 — The next Millenium. Elsevier Science Publishers B.V., 1999.Google Scholar
  16. 16.
    H. Neukirchen. Corrections and extensions to Z.120, November 2000. Delayed Contribution No. 9 to ITU-T Study Group 10, Question 9.Google Scholar
  17. 17.
    I. Schieferdecker, S. Pietsch, and T. Vassiliou-Gioles. Systematic Testing of Internet Protocols — First Experiences in Using TTCN-3 for SIP. In Proceedings of the 5th IFIP Africom Conference on Communication Systems, Cape Town (South Africa), May 2001.Google Scholar
  18. 18.
    I. Schieferdecker, B. Stepien, and A. Rennoch. PerfTTCN, a TTCN Language Extension for Performace Testing. In M. Kim, S. Kang, and K. Hong, editors, Testing of Communicating Systems, volume 10. Chapman & Hall, 1997.Google Scholar
  19. 19.
    I. Schieferdecker and B. Stepien. Automated Testing of XML/SOAP based Web Services. In Proceedings of the 13th. Fachkonferenz der Gesellschaft für Informatik (GI) Fachgruppe “Kommunikation in verteilten Systemen” (KiVS), Leipzig (Germany), Feb. 26.–28. 2003.Google Scholar
  20. 20.
    M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink — Putting SDL-based test generation into practice. In A. Petrenko and N. Yevtuschenko, editors, Testing of Communicating Systems, volume 11. Kluwer 1998.Google Scholar
  21. 21.
    J.Z. Szabó. Experiences of TTCN-3 Test Executor Development. In I. Schieferdecker, H. König, and A. Wolisz, editors, Testing of Communicating Systems — Application to Internet Technologies and Services, volume 14. Kluwer, 2002.Google Scholar
  22. 22.
    Telelogic Tau/Tester product information. http://www.tautester.com/, 2002.
  23. 23.
    Testing Technologies TT Tool Series product information. http://www.testingtech.de/products/TTToolSeries.html, 2002.
  24. 24.
    T. Walter and J. Grabowski. A Framework for the Specification of Test Cases for Real Time Distributed Systems. Information and Software Technology, 41:781–798, 1999.CrossRefGoogle Scholar
  25. 25.
    Recommendation Z.120: Message Sequence Charts (MSC). International Telecommunication Union (ITU-T), Geneve, 1999.Google Scholar
  26. 26.
    T. Zheng and F. Khendek. An extension to MSC-2000 and its application. In Proceedings of the 3rd SAM (SDL and MSC) Workshop, 2002.Google Scholar

Copyright information

© IFIP 2003

Authors and Affiliations

  • Zhen Ru Dai
    • 1
  • Jens Grabowski
    • 1
  • Helmut Neukirchen
    • 1
  1. 1.Institute for TelematicsUniversity of LübeckLübeckGermany

Personalised recommendations