2012 Fiscal Year Final Research Report
Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference Engines
| Project/Area Number |
22700032
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Keywords | 組合せテスト / SAT / 制約プログラミング / 解集合プログラミング |
|---|
| Research Abstract |
We studied automatic test case generation of combinatorial testing by using several logical inference engines such as SAT solvers, constraint solvers, and ASP solvers. We carried out experiments on some benchmark sets in Handbook of Combinatorial Designs. Our proposed methods succeeded either in improving the bounds or producing the same bounds for many instances, compared with the previous best known bounds.
|
