论文信息 - An automatic and optimized test generation technique applying to TCP/IP protocol

An automatic and optimized test generation technique applying to TCP/IP protocol

In this paper an automatic and optimized technique for test generation for communication protocol control and data portion is described, the goal is to minimize the number of tests with a guaranteed coverage. The test generation algorithm is applied to the client layer part of the TCP/IP protocol. The protocol used for the experiment is TCP-Reno, which is specified in the SDL language and is one of the commonly referenced implementations. For such a sophisticated protocol, the algorithm efficiently constructs 22 tests that cover all the required portions of the protocol.

Ana R. Cavalli | David Lee | Cédric Besse

[1] Mihalis Yannakakis,et al. Optimization problems from feature testing of communication protocols , 1996, Proceedings of 1996 International Conference on Network Protocols (ICNP-96).

[2] Jörg Hintelmann,et al. Performance analysis of TCP's flow control mechanisms using queueing SDL , 1997, SDL Forum.

[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[4] David Lee,et al. Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..

[5] W. Richard Stevens,et al. TCP/IP Illustrated, Volume 1: The Protocols , 1994 .

[6] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

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

[8] Olivier Charles,et al. Relating Conformance Test Coverage to Formal Specifications , 1996, FORTE.

[9] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[10] De Paula Lima,et al. Une methode pragmatique de generation de sequences de test pour les systemes imbriques (et applications aux plates-formes ouvertes distribuees et aux services de telecommunications) , 1998 .