研究課題
若手研究(B)
本研究では、従来の運用プロファイル（テスト対象ソフトウェアの期待される振舞いと、運用環境において想定される使われ方を表すモデル）に対して、欠陥が潜在する可能性や、テスト実施に要するエフォートに関する情報を付与したり、大規模ソフトウェアや並行ソフトウェアの期待される振舞いの記述に適したモデリング法を導入したりする拡張を行った。そして、その拡張された運用プロファイルに基づいて効率的なテストケース（テストするべき項目）を生成する新たな手法を、最適化手法を導入することによって構築した。
ソフトウェア工学
