Test case generation of a communication protocol by an adaptive state exploration

T. H. Kim, I. S. Hwang, M. S. Jang, J. Y. Lee

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


State exploration, which is widely used for generation of executable test cases for conformance test of a protocol, often causes state explosion problem. This paper proposes an adaptive state exploration method to overcome the problem for a single module protocol. Since state explosion arises in relation to the predicate, it tries to find out efficiently predicated transitions with priority by emulating the normal and erroneous communication environments closely related to the predicates. A test case generation method using the method is also proposed, which uses an Subdivided Extended Finite State Machine (SEFSM) as a protocol model to reduce semantic loss by modeling and adjusted UIO sequences for the protocol model. The empirical results of the proposed methods show their efficacy.

Original languageEnglish
Pages (from-to)1242-1255
Number of pages14
JournalComputer Communications
Issue number13
Publication statusPublished - 2001 Aug 15

Bibliographical note

Funding Information:
This work was supported in part by grant No. 1999-2-303-005-3 from the interdisciplinary research program of the Korea Science and Engineering Foundation (KOSEF).

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications


Dive into the research topics of 'Test case generation of a communication protocol by an adaptive state exploration'. Together they form a unique fingerprint.

Cite this