| Presentation | 2012-03-13 Automatic derivation of test cases for Java using an SMT solver and a PDG generator Yukihiro SASAKI, Kazuki KOBAYASHI, Kozo OKANO, Shinji KUSUMOTO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Assertions and Design by Contract play important roles for program understanding and program verification. In order to generate assertions, there are two kinds of methods, static analysis and dynamic analysis. Dynamic approach needs less CPU times, however suffers the test case depending problem in which the quality of assertions depends on the quality of test cases. Invariant coverage is one of indicator to specify the quality of test cases. In other words, the coverage of test cases affects the quality of generated assertions. The proposed method uses PDG of a target method to generate a candiate path set and uses an SMT solver to decide whether a candidate path is executable or not, as well as a concrete set of real parameters. We have implemented a tool and evaluated the usefulness of the proposed method through several programs. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | SMT solver / PDG / Daikon / test case / Java |
| Paper # | SS2011-66 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2012/3/6(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Automatic derivation of test cases for Java using an SMT solver and a PDG generator |
| Sub Title (in English) | |
| Keyword(1) | SMT solver |
| Keyword(2) | PDG |
| Keyword(3) | Daikon |
| Keyword(4) | test case |
| Keyword(5) | Java |
| 1st Author's Name | Yukihiro SASAKI |
| 1st Author's Affiliation | Osaka University() |
| 2nd Author's Name | Kazuki KOBAYASHI |
| 2nd Author's Affiliation | Osaka University |
| 3rd Author's Name | Kozo OKANO |
| 3rd Author's Affiliation | Osaka University |
| 4th Author's Name | Shinji KUSUMOTO |
| 4th Author's Affiliation | Osaka University |
| Date | 2012-03-13 |
| Paper # | SS2011-66 |
| Volume (vol) | vol.111 |
| Number (no) | 481 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |