Skip to main content
SpringerLink
Log in

SDL- and MSC-Based Specification and Automated Test Case Generation for INAP

  • Published:
Telecommunication Systems Aims and scope Submit manuscript

Abstract

The development of the Core INAP CS-2 standard and the corresponding conformance test suites by expert teams at the European Telecommunications Standards Institute (ETSI) are historical breakthroughs for the use of SDL and MSC within the international telecommunications standardization process. For the first time, the textual description of a standard has no priority over the corresponding SDL specification. The power of a standard SDL specification has been shown by the successful application of computer aided test generation methods for the production of the necessary standard conformance test suites. This paper introduces the Core INAP CS-2 protocol specification and describes the test generation procedure.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. P. Baker, E. Rudolph and I. Schieferdecker, Graphical test specification – The graphical format of TTCN-3, in: Proc. of the 10th SDL-Forum, Copenhagen, June 2001, Lecture Notes in Computer Science (Springer, New York, 2001).

    Google Scholar 

  2. B. Baumgarten and A. Giessler, OSI Conformance Testing Methodology and TTCN (Elsevier, Amsterdam, 1994).

    Google Scholar 

  3. U. Black, OSI: A Model for Computer Communications Standards (Prentice-Hall, Englewood Cliffs, NJ, 1993).

    Google Scholar 

  4. R. Bræk and O. Haugen, Engineering Real Time Systems (Prentice-Hall, Englewood Cliffs, NJ, 1993).

    Google Scholar 

  5. Cinderella AB, Cinderella SDL online product description, http://www.cinderella.dk.

  6. ETSI DEN 301 931-4 (2000-08), Intelligent network (IN); Intelligent network capability set 3 (CS-3); Intelligent network application protocol (INAP); Protocol specification; Part 4: SDLs for SCF-SSF interface, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2000).

    Google Scholar 

  7. ETSI EN 301 140-1, Intelligent network (IN); Intelligent network application protocol (INAP); Capability set 2 (CS-2); Part 1: Protocol specification, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (June 1999).

    Google Scholar 

  8. ETSI EN 301 140-3, Intelligent network (IN); Intelligent network application protocol (INAP); Capability set 2 (CS-2); Part 3: Test suite structure and test purposes (TSS&TP) specification for service switching function (SSF): Subpart 1 (EN 301 140-3-1): Basic capability set of CS-1 including CS-2 complements; Subpart 2 (EN 301 140-3-2): Call party handling (CPH); Subpart 3 (EN 301 140-3-3): Specialized resource functions (SRF), European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2000).

    Google Scholar 

  9. ETSI EN 301 140-4, Intelligent network (IN); Intelligent network application protocol (INAP); Capability set 2 (CS-2); Part 4: Abstract test suite (ATS) specification and partial protocol implementation extra information for testing (PIXIT) proforma for service switching function (SSF): Subpart 1 (EN 301 140-4-1): Basic capability set of CS-1 including CS-2 complements; Subpart 2 (EN 301 140-4-2): Call party handling (CPH); Subpart 3 (EN 301 140-4-3): Specialized resource functions (SRF), European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2000).

    Google Scholar 

  10. ETSI ES 201 873-1, Methods for testing and specification; The tree and tabular combined notation version 3 (TTCN-3); Part 1: TTCN-3 core language, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2001).

    Google Scholar 

  11. ETSI ES 201 873-2, Methods for testing and specification; The tree and tabular combined notation version 3 (TTCN-3); Part 2: TTCN-3 tabular presentation format (TFP), European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2001).

    Google Scholar 

  12. ETSI ES 201 873-3, Methods for testing and specification; The tree and tabular combined notation version 3 (TTCN-3); Part 3: TTCN-3 graphical presentation format (GPF), European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2001).

    Google Scholar 

  13. Expert Telecoms, Contessa online product description, http://www.expert-telecoms.com.

  14. A. Ek, Verifying message sequence charts with the SDT validator, in: SDL'93 – Using Objects, eds.O. Færgemand and A. Sarma (North-Holland, Amsterdam, 1993).

    Google Scholar 

  15. A. Ek, J. Grabowski, D. Hogrefe, R. Jerome, B. Koch and M. Schmitt, Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications, in: SDL'97: Time for Testing – SDL, MSC and Trends, eds. A. Cavalli and A. Sarma (Elsevier, Amsterdam, 1997).

    Google Scholar 

  16. J. Ellsberger, D. Hogrefe and A. Sarma, SDL – Formal Object-oriented Language for Communicating Systems (Prentice-Hall, Englewood Cliffs, NJ, 1997).

    Google Scholar 

  17. J. Grabowski, A. Wiles, C. Willcock and D. Hogrefe, On the design of the new testing language TTCN-3, in: 13th IFIP Internat. Workshop on Testing Communicating System (Testcom 2000), Ottawa, 29 August 2000–1 September 2000 (Kluwer Academic, Dordrecht, 2000).

    Google Scholar 

  18. G.J. Holzmann, Design and Validation of Computer Protocols (Prentice-Hall, Englewood Cliffs, NJ, 1991).

    Google Scholar 

  19. ISO/IEC, Information technology – OSI – Conformance testing methodology and framework – Parts 1–7, ISO, International Standard 9646 (1994–1997).

  20. ISO/IEC, Information technology – OSI – Conformance testing methodology and framework – Part 3: The tree and tabular combined notation (TTCN), International Standard 9646-3 (1997).

  21. ITU-T Rec. Q.771-775, Signaling system No. 7 – Transaction capabilities, Geneva (1993).

  22. ITU-T Rec. Z.105, Specification and description language (SDL) combined with abstract syntax notation one (ASN.1), Geneva (1995).

  23. ITU-T Rec. Z.100, Specification and description language (SDL), Geneva (1996).

  24. ITU-T Rec. Z.120, Message sequence chart (MSC), Geneva (1996).

  25. ITU-T Rec. X.680-683, Information technology – Open systems interconnection – Abstract syntax notation ONE (ASN.1), Geneva (1997).

  26. ITU-T Rec. X.690-691, Information technology – ASN.1 encoding rules, Geneva (1997).

  27. G. Kessler and P. Southwick, ISDN: Concepts, Facilities, and Services, 3rd ed. (McGraw-Hill, New York, 1996).

    Google Scholar 

  28. K. Kimbler, C. Hagenfeldt, J. Ellsberger and G. Bergman, An environment for IN service prototyping and validation, in: Proc. of the 6th Internat. Conf. on Intelligence and Services in Networks 1999 (IS&N'99), Lecture Notes in Computer Science, Vol. 1597 (Springer, New York, 1999).

    Google Scholar 

  29. B. Koch, J. Grabowski, D. Hogrefe and M. Schmitt, Autolink – A tool for automatic test generation from SDL specifications, in: Proc. of the IEEE Workshop on Industrial Strength Formal Specification Techniques (WIFT'98), 21–23 October 1998 (CRC Press, Boca Raton, FL).

    Google Scholar 

  30. T. Magedanz and R. Popescu-Zeletin, Intelligent Networks (Internat. Thomson Computer Press, 1996).

  31. D. Rayner, Future directions for protocol testing, learning lessons from the past, in: Testing of Communicating Systems, Vol. 10 (Chapman & Hall, London, 1997).

    Google Scholar 

  32. E. Rudolph, P. Graubmann and J. Grabowski, Tutorial on message sequence charts (MSC-96), in: Forte/PSTV'96, Kaiserslautern, October 1996.

  33. J. Rumbaugh, I. Jacobson and G. Booch, The Unified Modelling Language, Reference Manual Version 1.1 (Rational, 1997).

  34. M> Schmitt, A. Ek, J. Grabowski, D. Hogrefe and B. Koch, Autolink – Putting SDL-based test generation into practice, in: Testing of Communicating Systems, Vol. 11 (Kluwer Academic, Dordrecht, 1998).

    Google Scholar 

  35. D. Steedman, Abstract syntax notation one (ASN.1): The tutorial and reference, Technology Appraisals (1990) (reprint with corrections 1993).

  36. Telelogic AB, TAU online product description, http://www.telelogic.com/products/ tau/.

  37. J. Thörner, Intelligent Networks (Artech House, 1994).

  38. Verilog SA, ObjectGeode online product description, http://www.telelogic.com/products/objectgeode/.

Download references

Author information

Authors and Affiliations

  1. Institute for Telematics, University of Lübeck, Ratzeburger Allee 160, D-23538, Lübeck, Germany

    Jens Grabowski & Dieter Hogrefe

Authors
  1. Jens Grabowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dieter Hogrefe
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grabowski, J., Hogrefe, D. SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. Telecommunication Systems 20, 265–290 (2002). https://doi.org/10.1023/A:1016597229451

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016597229451

Search

Navigation