Paper Info
Title
Context independent unique sequences generation for protocol testing
Abstract
A number of test sequence generation methods proposed recently for 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 define a new type of state identification sequence, called Context Independent Unique Sequence (CIUS) and present an algorithm for computing it. An unified method based on CIUSes is developed for automatically generating executable test cases for both control flow and data flow aspects of an EFSM. In control flow testing, CIUSes are very useful in confirming the tail state of the transitions. In data flow testing, CIUSes 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 CIUSes does not increase the complexity of the already intractable feasibility problem in the test case generation.
Year
DOI
Venue
1996
10.1109/INFCOM.1996.493058
INFOCOM
Keywords
Field
DocType
executable test case,control flow,general state identification sequence,protocol testing,independent unique sequences generation,data flow testing,efsm state,use state identification sequence,control flow testing,data flow aspect,state identification sequence,tail state,observability,protocols,application software,concatenated codes,algorithm,data flow,sequences,automata,conformance testing,computer science,finite state machines,extended finite state machine,tail,formal specification
Observability,Computer science,Extended finite-state machine,Algorithm,Theoretical computer science,Formal specification,Conformance testing,Finite-state machine,Test case,Data flow diagram,Executable
Conference
ISSN
ISBN
Citations 
0743-166X
0-8186-7292-7
4
PageRank 
References 
Authors
0.44
9
3
Name
Order
Citations
PageRank
T Ramalingom1211.79
Krishnaiyan Thulasiraman231531.10
Anindya Das321931.78