An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol

Authors:
Cédric Besse;Ana Cavalli;David Lee
Affiliations:
-;-;-
Venue:
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Year:
1999

Citing 0
Cited 1

Towards model-based generation of self-priming and self-checking conformance tests for interactive systems

Proceedings of the 2003 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

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.