Different Approaches to Protocol and Service Testing

This paper presents an overview of the work we have developed at INT on different approaches to protocol and service testing. It is related to performing tests of communication protocols and telecommunication services based on techniques, such as, active test generation, passive testing, embedded testing and test execution.

[1]  Ana Cavalli,et al.  A Pragmatic Approach to Generating Test Sequences for Embedded Systems , 1997 .

[2]  Ana R. Cavalli,et al.  Hit-or-Jump: An algorithm for embedded testing with applications to IN services , 1999, FORTE.

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

[4]  Nina Yevtushenko,et al.  Fault Models for Testing in Context , 1996, FORTE.

[5]  Ana R. Cavalli,et al.  Application of embedded testing methods to service validation , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[6]  N. Yevtushenko,et al.  Fault detection in embedded components , 1997 .

[7]  David Lee,et al.  Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.

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

[9]  Ana R. Cavalli,et al.  Standardization of Formal Methods in Conformance Testing of Communication Protocols , 1996, Comput. Networks ISDN Syst..

[10]  Ana R. Cavalli,et al.  Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications , 1992, Protocol Test Systems.

[11]  Charles L. Seitz,et al.  AN APPROACH TO DESIGNING CHECKING EXPERIMENTS BASED ON A DYNAMIC MODEL , 1971 .

[12]  Ana R. Cavalli,et al.  Passive testing and application to the GSM-MAP protocol , 1999, Inf. Softw. Technol..

[13]  Ana R. Cavalli,et al.  Test Suite Minimization for Embedded Nondeterministic Finite State Machines , 1999, IWTCS.

[14]  David Lee,et al.  Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach , 1996, IEEE Trans. Commun..

[15]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

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

[17]  Ana R. Cavalli,et al.  Testing Methods for SDL Systems , 1996, Comput. Networks ISDN Syst..

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

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

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

[21]  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..

[22]  Jack J. Purdum,et al.  C programming guide , 1983 .

[23]  Nina Yevtushenko,et al.  Test Suite Minimization for Testing in Context , 1998 .

[24]  Teruo Higashino,et al.  Generating Test Cases for a Timed I/O Automaton Model , 1999, IWTCS.

[25]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[26]  Paul D. Amer,et al.  Issues in conformance testing: multiple semicontrollable interfaces , 1998, FORTE.