By Topic

Test sequence generation methods for protocol conformance testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chul Kim ; Dept. of Comput. Sci., Yonsei Univ., Seoul, South Korea ; Song, J.S.

The paper presents a survey of test sequence generation methods for testing the conformance of a protocol implementation to its specification which is modeled as a finite state machine (FSM). The past decade (1984-94) has been a period of intense research in test sequence generation, since it is one of the most important issues in the area of protocol conformance testing. There have been four major methods of conformance test generation reported in the literature: transition tours, distinguishing sequences, characterizing sequences, and unique input/output sequences. These methods are used to test the control portion of a protocol specification. Applications of these methods to the finite state machine model are discussed and then comparison and analysis are made in terms of two criteria: fault coverage and test sequence length. Also, some issues which are related to test generation for protocol conformance testing are identified

Published in:

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Date of Conference:

9-11 Nov 1994