2012 Fiscal Year Annual Research Report
様々な論理推論エンジンを用いた組み合わせテストのテストケース自動生成
| Project/Area Number |
22700032
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
番原 睦則 神戸大学, 情報基盤センター, 准教授 (80290774)
|
|---|
| Project Period (FY) |
2010-04-01 – 2013-03-31
|
| Keywords | 組合せテスト / 解集合プログラミング / 制約プログラミング / SAT |
|---|
| Research Abstract |
本研究の目的は，様々な論理推論エンジンを用いた組合せテストのテストケース自動生成を実現することである．最終年度である平成24年度は，特に「論理プログラミング・システムを用いた組合せテストケース生成ツール」に関する研究開発を行い，4件の学術論文・国際会議論文を発表し，9件の学会発表を行った．
論理プログラミング・システムとしては，解集合プログラミング (ASP) を用いた．解集合プログラミングは Prolog に代表される従来の論理プログラミングの自然な拡張であり，近年 SAT ソルバー，制約ソルバーに採用されている最先端の実装技術を応用した高速なソルバーが開発されている．
2010年に Kuhn らによって提案された Event Sequence Testing は，イベント駆動型ソフトウェアに適した組合せテストである．この Event Sequence Testing のテストケース生成問題は，Sequence Covering Array (SCA) と呼ばれる配列の構成問題に帰着できることが知れている．
本年度は，SCA 構成問題に対する ASP 符号化を提案した．この符号化は ASPの高い表現力と制約プログラミングの結合行列の効果的な組合せに基づいており，SCA のカバレッジ制約を ASP の 基数制約を用いて簡潔に表現することができる．高速 ASP ソルバー clasp を用いて実行実験を行った結果，強さ3の SCA 構成問題に対して，既知の上限を大幅に更新することに成功した．さらに，強さ4の問題に対して，2つの新しい最適値を得ることに成功した．
|
| Current Status of Research Progress |
Reason
24年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
24年度が最終年度であるため、記入しない。
|
Research Products
(13 results)
