著者

番原 睦則

出版者

神戸大学

雑誌

若手研究(B)

巻号頁・発行日

2010

---

組合せテストは,ソフトウェアの信頼性・安全性を高めるためのソフトウェア検証手法の 1つである.本研究では,組合せテストのテストケース生成の性能向上を目指し,SAT ソルバー,制約ソルバー,解集合ソルバーを用いたテストケース自動生成ツールに関する研究開発を行った.提案手法を実装した 3つのツールは,組合せデザイン・ハンドブック等に記載されているベンチマークに対して,様々な既存手法で得られた既知の最良値を更新することに成功した.