ZDDを用いた被覆配列の生成について

抄録

本研究では，水準の大きい被覆配列を計算機で求める方法を提案する．被覆配列は組み合わせデザインの一種であり，ソフトウェアテスト等の応用を有す．すべてのt個の因子間におけるすべての水準の組み合わせがいずれかの行に出現するとき，その配列を強度tの被覆配列と呼ぶ．このような組み合わせはtに従って指数的に増加するため，強度の大きい被覆配列を現実的な時間で求めることは困難であった．本研究では，データ構造としてZDDを用いて組み合わせを管理，操作することで，この問題の解決を図る．実験の結果，提案手法によって強度7以上の被覆配列を求めることができることが分かった．