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

Authors:
T. -H. Kim;I. -S. Hwang;M. -S. Jang;J. -Y. Lee
Affiliations:
Department of Electrical and Electronic Engineering, Yonsei University, 134 Shinchon-Dong, Seodaemun-Gu, Seoul 120-749, South Korea;Department of Electrical and Electronic Engineering, Yonsei University, 134 Shinchon-Dong, Seodaemun-Gu, Seoul 120-749, South Korea;Department of Computer Information Science, Kunsan National University, San 68, Miryong-Dong, Kunsan-Shi, Chollabuk-Do 573-701, South Korea;Department of Electrical and Electronic Engineering, Yonsei University, 134 Shinchon-Dong, Seodaemun-Gu, Seoul 120-749, South Korea
Venue:
Computer Communications
Year:
2001

Citing 3
Cited 0

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
Automatic generation of extended UIO sequences for communication protocols in an EFSM model

IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems

Quantified Score

Hi-index	0.24

Visualization

Abstract

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.