Paper Info
Title
Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines
Abstract
A number of test sequence generation methods proposed for communication protocols represented as Extended Finite State Machines (EFSMs) use state identification sequences for checking the states. However, neither a formal definition nor a method of computation of these sequences for an EFSM state is known. In this paper, we first define a new type of state identification sequence, called Context Independent Unique Sequence (CIUS) and present an algorithm for computing it. To demonstrate the usefulness of these sequences, we then briefly describe a unified method based on CIUSs for automatically generating executable test cases for both control flow and data flow aspects of an EFSM. In control flow testing, CIUSs are very useful in confirming the tail states of the transitions. In data flow testing, CIUSs improve the observability of the test cases for the def-use associations of different variables used in the EFSM. Unlike general state identification sequences, the use of CIUSs does not increase the complexity of the already intractable feasibility testing problem in test case generation. Moreover, the feasibility problem encountered in both the CIUS computation and the test case generation methods is amenable to an incremental solution. We demonstrate this by presenting a method to solve a particular case of this problem in which the variables are of only integer, real or Boolean type and the predicates are linear.
Year
DOI
Venue
2003
10.1016/S0140-3664(03)00116-6
Computer Communications
Keywords
Field
DocType
Communication protocol testing,Test case generation,Extended finite state machine model,State identification sequences,Software testing,Verification,Validation
Observability,Computer science,Extended finite-state machine,Algorithm,Theoretical computer science,Finite-state machine,Test case,Boolean data type,Communications protocol,Executable,Data flow diagram
Journal
Volume
Issue
ISSN
26
14
Computer Communications
Citations 
PageRank 
References 
14
0.70
11
Authors
3
Name
Order
Citations
PageRank
T Ramalingom1211.79
Krishnaiyan Thulasiraman231531.10
A Das3140.70