本研究では,ソフトウェアシステムに対する組み合わせインタラクションテスト(CIT)を発展させ,高不具合検出能力と低実行コストに加え,不具合の特定能力を持ち合わせるテストの自動設計実現を目的として,関連するテスト生成技術の開発を行った.特に,ロケーティングアレイという数学的構造に注目し,この構造の持つ組み合わせの網羅性と不具合検出特性を現実のテスト問題に利用できるようにした.具体的には,その定義を拡張するとともに,自動的に生成するアルゴリズムを開発した.さらに,いくつかの最小ロケーティングアレイの生成に成功し,開発したヒューリスティックな生成法との比較を行った.
|