Computer-readable recording medium storing therein test data generating program, test data generating method, test data generating apparatus and information processing system
US9639454B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 25, 2013 |
| Grant date | May 2, 2017 |
| Priority date | — |
| Expiry date | Apr 28, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3684
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer to: generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a first symbolic variable included in the path condition; calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition; generate test data including the values of the symbolic variable, the fixed values, and path conditions not subjected to simplification; and remove duplicative data from the test data that corresponds to a same path condition.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.