Test sequence generation methods for protocol conformance testing

Chul Kim, J. S. Song

Research output: Contribution to journalConference articlepeer-review

6 Citations (Scopus)


This 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 has been a period of intense research in test sequence generation, since it is one of the most important issue 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.

Original languageEnglish
Pages (from-to)169-174
Number of pages6
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - 1994
EventProceedings of the 18th Annual International Computer Software & Applications Conference (COMPSAC 94) - Taipei, Taiwan
Duration: 1994 Nov 91994 Nov 11

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications


Dive into the research topics of 'Test sequence generation methods for protocol conformance testing'. Together they form a unique fingerprint.

Cite this