Rapid generation of functional tests using MSCs, SDL and TTCN

This paper reports the results of a study undertaken to determine the suitability of CASE tools and formal methods for systematic, rapid generation of functional test cases. In particular, the study involves the use of Message Sequence Charts (MSCs) [International Telecommunications Union (ITU-T), Recommendation Z.120: Message Sequence Charts, revised 1996], Specification and Description Language (SDL) [International Telecommunications Union (ITU-T), Recommendation Z.100: Specification and Description Language, revised 1996] and Tree and Tabular Combined Notation (TTCN) [International Standards Organization (ISO), OSI Conformance Testing Methodology and Framework-Part 3: The Tree and Tabular Combined Notation, International Standard 9646-3, 1992] and the use of the Telelogic Tau tool set [Telelogic Tau tool set, version 3.3, Telelogic AB, Malmo Sweden] which supports all three of these languages.

[1]  R. Lai,et al.  How could research on testing of communicating systems become more industrially relevant , 1996 .

[2]  Robert Cole,et al.  Computer Communications , 1982, Springer New York.

[3]  Lmg Loe Feijs,et al.  A rigorous and practical approach to service testing , 1996 .

[4]  César Viho,et al.  An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol , 1998, IWTCS.

[5]  Ostap Monkewich.  SDL-based specification and testing strategy for communication network protocols , 1999, SDL Forum.

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

[7]  Dieter Hogrefe,et al.  Applying SaMsTaG to the B-ISDN protocol SSCOP , 1997 .

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

[9]  E. Algaba,et al.  A pragmatic approach to test generation , 1997 .

[10]  Nina Yevtushenko,et al.  Design for Testability of Communication Protocols Based on SDL Specification , 1997 .

[11]  Thierry Jéron,et al.  Automated test generation from SDL specifications , 1999, SDL Forum.

[12]  Thierry Jéron,et al.  Assessment of automatic generation methods of conformance test suites in an industrial context , 1996 .

[13]  Dieter Hogrefe,et al.  Autolink - Putting formal test methods into practice , 1996 .

[14]  Ana R. Cavalli,et al.  Test generation for the SSCOP-ATM networks protocol , 1997, SDL Forum.

[15]  C. J. Koomen.  Algebraic specification and verification of communication protocols , 1985 .

[16]  Nils Fischbeck.  Experiences with ISDN validation models in SDL and proposal for new SDL features , 1997, SDL Forum.

[17]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[18]  M. Anlauf,et al.  Programming Service Tests with TTCN , 1998, IWTCS.

[19]  C. H. West,et al.  Protocol Validation - Principles and Applications , 1992, Comput. Networks ISDN Syst..