ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学術雑誌論文
  2. IEICE Transactions on Communications

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

https://hiroshima-cu.repo.nii.ac.jp/records/1284
https://hiroshima-cu.repo.nii.ac.jp/records/1284
e80b3878-6777-4574-9d0a-333e7f5b64e4
名前 / ファイル ライセンス アクション
E92-B_3 E92-B_3 _794.pdf (426.2 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2023-02-28
タイトル
タイトル An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols
言語
言語 eng
キーワード
主題 state transition testing
キーワード
主題 mobile ad hoc network protocols
キーワード
主題 network protocol testing
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ journal article
著者 KOJIMA, Hideharu

× KOJIMA, Hideharu

KOJIMA, Hideharu

ja-Kana コジマ, ヒデハル

Search repository
TAKAHASHI, Juichi

× TAKAHASHI, Juichi

TAKAHASHI, Juichi

ja-Kana タカハシ, ジュイチ

Search repository
OHTA, Tomoyuki

× OHTA, Tomoyuki

OHTA, Tomoyuki

ja-Kana オオタ, トモユキ

Search repository
KAKUDA, Yoshiaki

× KAKUDA, Yoshiaki

KAKUDA, Yoshiaki

ja-Kana カクダ, ヨシアキ

Search repository
大田, 知行

× 大田, 知行

en 大田, 知行

Search repository
角田, 良明

× 角田, 良明

en 角田, 良明

Search repository
抄録
内容記述タイプ 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 be reduced.
書誌情報 IEICE Transactions on Communications

巻 E92-B, 号 3, p. 794-806, 発行日 2009-03-01
出版者
出版者 電子情報通信学会(IEICE)
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-8516
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA10826261
権利
権利情報 copyright©2009 IEICE
関連サイト
識別子タイプ URI
関連識別子 http://www.ieice.org/jpn/trans_online/index.html
関連名称 http://www.ieice.org/jpn/trans_online/index.html
フォーマット
内容記述タイプ Other
内容記述 application/pdf
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
戻る
0
views
See details
Views

Versions

Ver.1 2023-07-25 10:48:26.897904
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3