{"updated":"2025-01-20T19:28:40.263284+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00141268","sets":["1164:1384:8208:8209"]},"path":["8209"],"owner":"11","recid":"141268","title":["SMTソルバを活用した業務ルールの等価性検証手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-03-05"},"_buckets":{"deposit":"c3533728-b4b1-4a52-84fd-2edbba8e2cbd"},"_deposit":{"id":"141268","pid":{"type":"depid","value":"141268","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"SMTソルバを活用した業務ルールの等価性検証手法","author_link":["205496","205501","205499","205500","205498","205497"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"SMTソルバを活用した業務ルールの等価性検証手法"},{"subitem_title":"Method for Verifying Equivalency of Business Rules using SMT Solver","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"テスト・検証","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2015-03-05","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"(株)日立製作所"},{"subitem_text_value":"(株)日立製作所"},{"subitem_text_value":"(株)日立製作所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/141268/files/IPSJ-SE15187041.pdf"},"date":[{"dateType":"Available","dateValue":"2017-03-05"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE15187041.pdf","filesize":[{"value":"373.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"603eedf6-c47b-4993-b56d-1a498c1e39da","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2015 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"伊藤, 信治"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"宮崎, 邦彦"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"伊藤, 翔"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shinji, Itoh","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kunihiko, Miyazaki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Sho, Ito","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ビジネスルールは,法改正や顧客要求の変更に伴い,頻繁に変化し続けている.ビジネスルールを変更した場合の確認の観点の 1 つとして,入力と出力の関係が変更前と変更後で維持されるべき部分が維持されていること (等価性) の確認がある.等価性を確認する手段としては,サンプリングテストの活用がある.しかし,サンプリングテストの場合,等価性を保証できるのは,テストした範囲に限定されるという課題がある.本稿では,網羅的に等価性を確認する手段として,SMT ソルバを活用した手法について提案する.また,提案方式を行政事務上のビジネスルールに適用した結果について報告する.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Business rules continue to change by law amendment and change of customer's requirements. There is a confirmation of equivalency between pre-change rules and post-change rules as a view of confirmations in case of a change of business rules. Sampling testing technologies enable us to confirm the equivalency. However, there is a problem that the sampling testing technologies cannot guarantee the equivalency of the scope which we don't test. In this paper, we propose method for confirming the equivalency exhaustively using SMT solver and present the result which we applied the method to business rules about administrative affairs.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"7","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学(SE)"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2015-03-05","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"41","bibliographicVolumeNumber":"2015-SE-187"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-19T00:18:52.800790+00:00","id":141268,"links":{}}