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

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.

[1]  Jan Thorner.  Intelligent Networks , 1994 .

[2]  Dieter Hogrefe,et al.  On the Design of the New Testing Language TTCN-3 , 2000, TestCom.

[3]  Otfried Georg,et al.  Die ITU-T-Spezifikationssprache SDL (Specification and Description Language) , 1996 .

[4]  Kristofer Kimbler,et al.  An Environment for IN Service Prototyping and Validation , 1999, IS&N.

[5]  M. G. Rodd,et al.  Engineering real-time systems , 1995 .

[6]  Bernd Baumgarten,et al.  OSI Conformance Testing Methodology and TTCN , 1994 .

[7]  D. Rayner.  Future directions for protocol testing, learning the lessons from the past , 1997 .

[8]  Thomas Magedanz,et al.  Intelligent Networks , 1996 .

[9]  Øystein Haugen,et al.  Tutorial on Message Sequence Charts (MSC'96) , 2001 .

[10]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[11]  P. T. Barry,et al.  Abstract syntax notation-one (ASN.1) , 1992 .

[12]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[13]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[14]  Dieter Hogrefe,et al.  Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications , 1997, SDL Forum.

[15]  Dieter Hogrefe,et al.  Autolink-a tool for automatic test generation from SDL specifications , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

[16]  Ekkart Rudolph,et al.  Tutorial on Message Sequence Charts , 1996, Comput. Networks ISDN Syst..

[17]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[18]  Ina Schieferdecker,et al.  Graphical Test Specification - The Graphical Format of TTCN-3 , 2001, SDL Forum.

[19]  Gary C. Kessler,et al.  ISDN: Concepts, Facilities and Services , 1990 .

[20]  Craig Partridge.  Book Review: Abstract Syntax Notation One (ASN .1): The Tutorial and Reference by Douglas Steedman (Technology Appraisals Ltd. ISBN 1-871802-06-7) , 1991, CCRV.

[21]  Douglas Steedman.  Abstract Syntax Notation One (ASN.1) : the tutorial and reference , 1990 .

[22]  Brendan Jennings,et al.  Signalling System No , 1999 .

[23]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[24]  Uyless D. Black.  OSI - a model for computer communications standards , 1990 .

[25]  Dieter Hogrefe,et al.  Autolink - Putting SDL-Based Test Generation Into Practice , 1998, IWTCS.