Title
An Equivalent Division Method For Reducing Test Cases In State Transition Testing Of Manet Protocols
Abstract
A typical feature of MANETs is that network topology is dynamically changed by node movement. When we execute state transition testing, for such protocols, first we draw the Finite State Machine (FSM) with respect to each number of neighbor nodes. Next. we create the state transition matrix from the FSMs. Then. we generate test cases from the state transition matrix. However, the state transition matrix is getting much large because the number of states and the number of transitions increase explosively with increase of the number of neighbor nodes. As a result, the number of test cases increases, too. In this paper. we propose a new method to reduce the number of test cases by using equivalent division method. In this method, we decide a representative input to each state, which is selected From equivalent inputs to the states. By using our proposed method. we can generate state transition matrix which is hard to affect increasing the number of neighbor nodes. As a consequence, the number of test cases can he reduced.
Year
DOI
Venue
2009
10.1587/transcom.E92.B.794
IEICE TRANSACTIONS ON COMMUNICATIONS
Keywords
Field
DocType
state transition testing, mobile ad hoc network protocols, network protocol testing
Mobile ad hoc network,Stochastic matrix,Computer science,Computer network,Network architecture,Finite-state machine,Network topology,Test case,State-transition matrix,Communications protocol
Journal
Volume
Issue
ISSN
E92B
3
0916-8516
Citations 
PageRank 
References 
1
0.38
8
Authors
4
Name
Order
Citations
PageRank
Hideharu Kojima1428.67
Juichi Takahashi2122.42
Tomoyuki Ohta329350.54
Yoshiaki Kakuda4559106.85