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

fYear

1999

fDate

36434

Firstpage

73

Lastpage

80

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 1999. 14th IEEE International Conference on.

Conference_Location

Cocoa Beach, FL

Print_ISBN

0-7695-0415-9

Type

conf

DOI

10.1109/ASE.1999.802094

Filename

802094