著者

小西 達也 小島 英春 中川 博之 土屋 達弘

雑誌

研究報告アルゴリズム(AL) (ISSN:21888566)

巻号頁・発行日

vol.2017-AL-165, no.28, pp.1-6, 2017-11-09

---

本論文では,ソフトウェアテストの 1 つ,組み合わせテストについて議論する.具体的には,組み合わせテストで使用するテストケース集合の1つ, ロケーティングアレイに焦点を当てる.ロケーティングアレイは,与えられたパラメータ値の組み合わせをすべて網羅しているだけでなく,実行結果から不具合の原因となる組み合わせを特定することができる.ロケーティングアレイの生成手法に関する研究はまだ少なく, また,多くの場合について構成に必要な最小のテストケース数がわかっていない.そこで,SAT ソルバを使用したロケーティングアレイの生成手法を提案する. また,実際にロケーティングアレイを求め,得られた最小のテストケース数についても報告する.