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

摘要

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