SATソルバを使用したロケーティングアレイの生成手法について

• Item type: SIG Technical Reports(1)
• 公開日: 2017-11-09
• タイトル: SATソルバを使用したロケーティングアレイの生成手法について
• タイトル / 言語: en
• タイトル: A SAT-based method for generating locating arrays
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者名: 小西, 達也; 小島, 英春; 中川, 博之; 土屋, 達弘
• 著者名(英): Tatsuya, Konishi; Hideharu, Kojima; Hiroyuki, Nakagawa; Tatsuhiro, Tsuchiya
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，ソフトウェアテストの 1 つ，組み合わせテストについて議論する．具体的には，組み合わせテストで使用するテストケース集合の1つ， ロケーティングアレイに焦点を当てる．ロケーティングアレイは，与えられたパラメータ値の組み合わせをすべて網羅しているだけでなく，実行結果から不具合の原因となる組み合わせを特定することができる．ロケーティングアレイの生成手法に関する研究はまだ少なく， また，多くの場合について構成に必要な最小のテストケース数がわかっていない．そこで，SAT ソルバを使用したロケーティングアレイの生成手法を提案する． また，実際にロケーティングアレイを求め，得られた最小のテストケース数についても報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2017-AL-165, 号 28, p. 1-6, 発行日 2017-11-09
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会