{"updated":"2025-01-20T03:21:59.656670+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00184243","sets":["1164:2592:9018:9281"]},"path":["9281"],"owner":"11","recid":"184243","title":["SATソルバを使用したロケーティングアレイの生成手法について"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-11-09"},"_buckets":{"deposit":"fc5fed1d-8ce2-4cbf-a713-8009968b845d"},"_deposit":{"id":"184243","pid":{"type":"depid","value":"184243","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"SATソルバを使用したロケーティングアレイの生成手法について","author_link":["406810","406804","406809","406803","406805","406807","406806","406808"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"SATソルバを使用したロケーティングアレイの生成手法について"},{"subitem_title":"A SAT-based method for generating locating arrays","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2017-11-09","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","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/184243/files/IPSJ-AL17165028.pdf","label":"IPSJ-AL17165028.pdf"},"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-AL17165028.pdf","filesize":[{"value":"735.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"9"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_login","version_id":"196cf770-336c-4236-a49f-c7dcdc9a87b0","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2017 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG."}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"小西, 達也"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"小島, 英春"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"中川, 博之"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"土屋, 達弘"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tatsuya, Konishi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hideharu, Kojima","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroyuki, Nakagawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Tatsuhiro, Tsuchiya","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN1009593X","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_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8566","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本論文では，ソフトウェアテストの 1 つ，組み合わせテストについて議論する．具体的には，組み合わせテストで使用するテストケース集合の1つ， ロケーティングアレイに焦点を当てる．ロケーティングアレイは，与えられたパラメータ値の組み合わせをすべて網羅しているだけでなく，実行結果から不具合の原因となる組み合わせを特定することができる．ロケーティングアレイの生成手法に関する研究はまだ少なく， また，多くの場合について構成に必要な最小のテストケース数がわかっていない．そこで，SAT ソルバを使用したロケーティングアレイの生成手法を提案する． また，実際にロケーティングアレイを求め，得られた最小のテストケース数についても報告する．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper, we discuss combinatorial interaction testing, which is a well-known software testing strategy. Especially, we focus on using locating arrays for combinatorial testing. Locating arrays do not only exercise all t-wise interactions of test parameters but also locate any failure-triggering interactions. At present there is little research on the generation of locating arrays. We propose a method of generating locating arrays using a SAT solver. Using the proposed method, we succeeded in finding several minimum locating arrays.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告アルゴリズム（AL）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2017-11-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"28","bibliographicVolumeNumber":"2017-AL-165"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-19T00:51:42.193489+00:00","id":184243,"links":{}}