Title :
An automatic and optimized test generation technique applying to TCP/IP protocol
Author :
Besse, Cédric ; Cavalli, Ana ; Lee, David
Author_Institution :
Inst. Nat. des Telecommun., Evry, France
Abstract :
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
Keywords :
automatic test software; formal specification; program testing; transport protocols; SDL language; TCP-Reno; TCP/IP protocol; algorithm; automatic test generation technique; client layer part; communication protocol control; communication protocol data portion; guaranteed coverage; optimized test generation technique; Automata; Automatic testing; Circuit faults; Circuit testing; Communication system control; Protocols; Specification languages; Switching circuits; System testing; TCPIP;
Conference_Titel :
Automated Software Engineering, 1999. 14th IEEE International Conference on.
Conference_Location :
Cocoa Beach, FL
Print_ISBN :
0-7695-0415-9
DOI :
10.1109/ASE.1999.802094
