2013 Fiscal Year Final Research Report
Effective software testing using all-pairs testing
| Project/Area Number |
23500046
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2011 – 2013
|
| Keywords | ソフトウェアテスト / 全ペアテスト / ブラックボックステスト / ホワイトボックステスト |
|---|
| Research Abstract |
This study aimed to extend the ability of all-pairs testing to achieve high capability of fault detection and high efficiency. Two issues addressed were: automatic generation of test cases for all-pairs testing and applying the notion of all-pairs testing to white-box testing. In the context of the first issue, a test case generation tool was developed. A notable feature of this tool is that it uses binary decision diagrams for constraint handling. In the context of the second issue, new test coverage criteria were proposed for testing control flows. These coverage criteria share a similar concept with ordinary all-pairs testing. An approach for automatic test case generation based on these criteria was also proposed.
|
