Testing Methods for SDL Systems

The aim of this tutorial is to present an overview of conformance testing methods for SDL systems. These methods can be classified into two main groups: those whose intent is the totally automated test generation from the SDL system specification and those that provide interactive test generation methods. We present some of the more representative methods illustrating their application by a common example. This example, the Inres protocol and service, will facilitate the comparison of the methods with respect to SDL and test notations, restrictions on the language, results of the application to the protocol and the tools supporting the methods.

[1]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

[2]  Hasan Ural,et al.  Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL , 1993, FORTE.

[3]  Laurent Mounier,et al.  A Tool Set for deciding Behavioral Equivalences , 1991, CONCUR.

[4]  Yanghee Choi,et al.  Approaches utilizing segment overlap to minimize test sequences , 1990, PSTV.

[5]  Marc Phalippou.  Executable Testers , 1993, Protocol Test Systems.

[6]  Ana Cavalli,et al.  Guaranteeing full fault coverage for UIO-based testing methods , 1996 .

[7]  G. Bochmann,et al.  Conformance Relations and Test Derivation , 1993, Protocol Test Systems.

[8]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.

[9]  Ana R. Cavalli,et al.  Improving Conformance Testing for LOTOS , 1993, FORTE.

[10]  G. L. Bruce,et al.  Future testing methods using SDL , 1993 .

[11]  Marc Phalippou,et al.  Evaluation of some test generation tools on a real protocol example , 1995 .

[12]  Alexandre Petrenko,et al.  Selecting test sequences for partially-specified nondeterministic finite state machines , 1995 .

[13]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[14]  W. Y. L. Chan,et al.  An improved protocol test generation procedure based on UIOS , 1989, SIGCOMM 1989.

[15]  Cheng Wu,et al.  Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions , 1992, Inf. Process. Lett..