Test sequence generation methods for protocol conformance testing

Chul Kim, J. S. Song

Research output: Contribution to journalConference article

5 Citations (Scopus)

Abstract

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 Dec 1
EventProceedings of the 18th Annual International Computer Software & Applications Conference (COMPSAC 94) - Taipei, Taiwan
Duration: 1994 Nov 91994 Nov 11

Fingerprint

Network protocols
Testing
Finite automata
Specifications
Acceptance tests

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

@article{dc5a75fac10347f3b3c86c45018a71f1,
title = "Test sequence generation methods for protocol conformance testing",
abstract = "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.",
author = "Chul Kim and Song, {J. S.}",
year = "1994",
month = "12",
day = "1",
language = "English",
pages = "169--174",
journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",
issn = "0730-6512",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Test sequence generation methods for protocol conformance testing

AU - Kim, Chul

AU - Song, J. S.

PY - 1994/12/1

Y1 - 1994/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0028708854&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028708854&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0028708854

SP - 169

EP - 174

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

SN - 0730-6512

ER -