{"created":"2023-07-25T10:23:54.213340+00:00","id":1204,"links":{},"metadata":{"_buckets":{"deposit":"75a25656-269e-4a28-b93d-b2263eb0aef7"},"_deposit":{"created_by":1,"id":"1204","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"1204"},"status":"published"},"_oai":{"id":"oai:hiroshima-cu.repo.nii.ac.jp:00001204","sets":["1:198"]},"author_link":["3806","3807","3803","3804","3805","3801","3808","3802"],"item_10001_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-04-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicPageEnd":"363","bibliographicPageStart":"353","bibliographicVolumeNumber":"J91-B","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. B, 通信"}]}]},"item_10001_description_19":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_10001_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"ソフトウェアの実装において,実装されたソフトウェアが仕様に適合しているかどうかを確認するために,仕様適合性試験がある.ネットワークプロトコルもソフトウェアであるため,仕様適合性試験を行い,実装されたプロトコルが仕様に適合しているかどうかを確認する必要がある.しかし,固定ネットワークと異なり,モバイルアドホックネットワークでは,ノードの移動により,隣接ノードが変化する.このようなプロトコルの仕様適合性試験を行うには,隣接ノード数の増加により,試験系列が爆発的に増加してしまう.本論文では,MANETプロトコルを表す状態遷移図を隣接ノード数の増加の影響を減少させる状態遷移図に再定義し,状態及び遷移を縮退させる手法を提案する.また,再定義しない状態遷移図を再定義した状態遷移図と比較することにより,提案手法の有効性を示す.","subitem_description_type":"Abstract"}]},"item_10001_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会"}]},"item_10001_relation_12":{"attribute_name":"論文ID（NAID）","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"110007379137","subitem_relation_type_select":"NAID"}}]},"item_10001_relation_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"http://www.ieice.org/jpn/trans_online/index.html"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.ieice.org/jpn/trans_online/index.html","subitem_relation_type_select":"URI"}}]},"item_10001_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"copyright©2008 IEICE"}]},"item_10001_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11325909","subitem_source_identifier_type":"NCID"}]},"item_10001_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1344-4697","subitem_source_identifier_type":"ISSN"}]},"item_10001_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"小島, 英春"},{"creatorName":"コジマ, ヒデハル","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"3801","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"大田, 知行"},{"creatorName":"オオタ, トモユキ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"3802","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"角田, 良明"},{"creatorName":"カクダ, ヨシアキ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"3803","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"高橋, 寿一"},{"creatorName":"タカハシ, ジュイチ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"3804","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KOJIMA, Hideharu","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3805","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"OHTA, Tomoyuki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3806","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KAKUDA, Yoshiaki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3807","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"TAKAHASHI, Juichi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3808","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-02-28"}],"displaytype":"detail","filename":"j91-b_4_353.pdf","filesize":[{"value":"524.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"j91-b_4_353.pdf","url":"https://hiroshima-cu.repo.nii.ac.jp/record/1204/files/j91-b_4_353.pdf"},"version_id":"8c9cf34f-4495-4626-b565-4c191ce4b290"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"状態遷移図","subitem_subject_scheme":"Other"},{"subitem_subject":"モバイルアドホックネットワーク","subitem_subject_scheme":"Other"},{"subitem_subject":"仕様適合性試験","subitem_subject_scheme":"Other"},{"subitem_subject":"クラスタリング","subitem_subject_scheme":"Other"},{"subitem_subject":"プロトコル試験","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"MANETプロトコルの仕様適合性試験のための状態遷移図縮退手法","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"MANETプロトコルの仕様適合性試験のための状態遷移図縮退手法"},{"subitem_title":"A Method to Reduce State Transition Diagram for Conformance Test of MANET Protocols","subitem_title_language":"en"}]},"item_type_id":"10001","owner":"1","path":["198"],"pubdate":{"attribute_name":"公開日","attribute_value":"2023-02-28"},"publish_date":"2023-02-28","publish_status":"0","recid":"1204","relation_version_is_last":true,"title":["MANETプロトコルの仕様適合性試験のための状態遷移図縮退手法"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-07-25T10:50:45.918730+00:00"}