| Presentation | 2009-08-07 Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System Satoshi HATTORI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We try to use a computer algebra system Mathematica as a test case generation system. In this paper, we deal with black-box test case generation from a software specification described in Mathematica. We show two test case generation procedures described also in Mathematica. The first one is based on equivalence partitioning. Mathematica shows a case that test cases do no exist by a kind of theorem proving. This is an advantage in using Mathematica. The second procedure is a modification of the first one adopting boundary value analysis. For implementation of boundary value analysis, we give a formalization for it. Mathematica has a built-in function to solve equations and inequalities. This is the main reason why we take Mathematica. Mathematica is a functional programming language. By using the Map function, we can make a generation procedure compact. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Test Case Generation / Equivalence Partitioning / Boundary Value Analysis / Computer Algebra System / Theorem Proving / Functional Programming |
| Paper # | SS2009-24 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2009/7/30(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 | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System |
| Sub Title (in English) | |
| Keyword(1) | Test Case Generation |
| Keyword(2) | Equivalence Partitioning |
| Keyword(3) | Boundary Value Analysis |
| Keyword(4) | Computer Algebra System |
| Keyword(5) | Theorem Proving |
| Keyword(6) | Functional Programming |
| 1st Author's Name | Satoshi HATTORI |
| 1st Author's Affiliation | Graduate School of Information Science and Engineering, Tokyo Institute of Technology() |
| Date | 2009-08-07 |
| Paper # | SS2009-24 |
| Volume (vol) | vol.109 |
| Number (no) | 170 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |