{"created":"2025-01-18T23:38:43.648445+00:00","updated":"2025-01-21T16:51:52.631437+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00088744","sets":["6164:6165:7006:7007"]},"path":["7007"],"owner":"11","recid":"88744","title":["SATアルゴリズムを利用したFSMプロトコルに対する試験系列生成の一手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2002-10-16"},"_buckets":{"deposit":"9277a4cd-e605-4fe6-b569-7479d65497fb"},"_deposit":{"id":"88744","pid":{"type":"depid","value":"88744","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"SATアルゴリズムを利用したFSMプロトコルに対する試験系列生成の一手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"SATアルゴリズムを利用したFSMプロトコルに対する試験系列生成の一手法"},{"subitem_title":"A Method to Generate Test Sequences for FSM Protocols using SAT Algorithm","subitem_title_language":"en"}]},"item_type_id":"18","publish_date":"2002-10-16","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学大学院基礎工学研究科"},{"subitem_text_value":"岡山大学工学部"},{"subitem_text_value":"大阪大学大学院情報科学研究科"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Engineering Science, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Engineering, Okayama University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/88744/files/IPSJ-DPSWS2002014.pdf"},"date":[{"dateType":"Available","dateValue":"2004-10-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-DPSWS2002014.pdf","filesize":[{"value":"539.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"1eb58e78-3bb3-4b7e-8103-84f93f2404cb","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2002 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"森, 亮憲"},{"creatorName":"船曵, 信生"},{"creatorName":"東野, 輝夫"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takanori, Mori","creatorNameLang":"en"},{"creatorName":"Nobuo, Funabiki","creatorNameLang":"en"},{"creatorName":"Teruo, Higashino","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では,有限状態機械で記述された通信プロトコルに対して,SATを利用して状態確認を行うための試験系列を生成する手法を提案する.状態確認にはUIO系列を利用する.SATとは論理式の充足可能性を判定する問題である.提案手法では,論理式を用いて通信プロトコルの動作や試験系列が満たすべき条件を記述することから,各状態に対して複数のUIO系列が存在する場合や,UIO系列の重複を考慮した場合などに対応して試験系列を生成することができる.提案手法を実装し,DHCP(Dynamic Host Configuration Protocol)に適用して試験系列が生成できることを確認した.","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper, we propose a test sequence generation method for FSM protocols using SAT algorithm. UIO sequences are used for identifying states. SAT is a problem which check satisfiability of logical formulas. In our method, protocol behaviors and conditions which must be satisfied by test sequences are described as logical formulas. Hence our method can be applied to cases that each state has multiple UIO sequences and/or considering sequences overlapping. We developed a system, and apply it to DHCP (Dynamic Configuration Protocol) and generated test sequences.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"80","bibliographic_titles":[{"bibliographic_title":"マルチメディア通信と分散処理ワークショップ論文集"}],"bibliographicPageStart":"75","bibliographicIssueDates":{"bibliographicIssueDate":"2002-10-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"15","bibliographicVolumeNumber":"2002"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":88744,"links":{}}