An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols

URI http://harp.lib.hiroshima-u.ac.jp/hiroshima-cu/metadata/6976
ファイル
タイトル
An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols
著者
氏名 KOJIMA Hideharu
ヨミ コジマ ヒデハル
別名 大田 知行
氏名 TAKAHASHI Juichi
ヨミ タカハシ ジュイチ
別名 角田 良明
氏名 OHTA Tomoyuki
ヨミ オオタ トモユキ
別名
氏名 KAKUDA Yoshiaki
ヨミ カクダ ヨシアキ
別名
キーワード
state transition testing
mobile ad hoc network protocols
network protocol testing
抄録

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 TRANSACTIONS on Communications
E92-B
3
開始ページ
794
終了ページ
806
出版年月日
2009-03-01
出版者
電子情報通信学会(IEICE)
ISSN
0916-8516
NCID
AA10826261
本文言語
英語
資料タイプ
学術雑誌論文
著者版フラグ
出版社版
権利情報
copyright©2009 IEICE
関連URL
旧URI
区分
hiroshima-cu