| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2012: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2011: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| 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.
|
