拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成

概要

論文の詳細を見る
拡張有限状態機械に基づく運用プロファイルから,usage distribution coverageとNスイッチ網羅率が大きいテストケースを効果的に生成するためのテストケース生成手法とツール構成を提案する.拡張有限状態機械には遷移間にデータ依存性があるため,テストケースの実行可能性を考慮する必要がある.また,テスト工程に割り当てられる労力は有限なので,生成されるテストケースの実行に要する労力があらかじめ指定される上限を超えないようにする必要がある.本稿では,これらの問題にも対処した,遺伝的アルゴリズムによるテストケース生成手法を示す.さらに,本手法を実装したテストケース生成ツールと既存のモデリングツールを連携させたツール構成について検討する.商用ソフトウェアに適用した結果,拡張有限状態機械の使用によって複雑な振舞いを持つソフトウェアに対して効果的に適用できること,usage distribution coverageとNスイッチ網羅率を同時に改善できることが確認できた.
2013-02-15