An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols
スポンサーリンク
概要
- 論文の詳細を見る
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 be reduced.
- 電子情報通信学会(IEICE)の論文
- 2009-03-01
電子情報通信学会(IEICE) | 論文
- Throughput Improvement with Discrete Pilot Signal Assignment and Iterative Channel Identification for MQRD-PCM/OFDM
- A Self-Test of Dynamically Reconfigurable Processors with Test Frames
- An Architecture of Embedded Decompressor with Reconfigurability for Test Compression
- A Hybrid Greedy Routing with Location Information for Mobile Ad Hoc Networks
- Route-Split Routing Resilient to Simultaneous Failure for Mobile Ad Hoc Networks