|
2機能の組み合わせをすべてテストするという全ペアテストを拡張し，高い不具合発見能力と効率を両立させるソフトウェアテストの実現に取り組んだ．具体的には，全ペアテストのテストケース生成の自動化，および，全ペアテストのホワイトボックステストへの拡張，というサブテーマを並行して進めた．まず，課題であった禁則処理を二分決定グラフを用いることで効率的に行う手法を実装した全ペアテストケース生成ツールを作成した．また，後者については，システムの制御フローを表現するグラフを対象として，全ペアテストの概念に基づく新しいテストカバレッジ基準を提案し，テストケース集合を自動的に生成できることを示した．
|
