Iterative generation of symbolic test drivers for object-oriented languages
US9058427B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jul 16, 2012 |
| Grant date | Jun 16, 2015 |
| Priority date | — |
| Expiry date | Nov 14, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/30
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method includes, by one or more computing devices, determining instructions for a computing device to be evaluated, creating a first symbolic test driver including one or more of the instructions to be evaluated and a designation of a symbolic variable corresponding to a portion of the instructions, symbolically executing the instructions with respect to the symbolic variable, determining a test case from the results of the symbolic execution including one or more commands to execute the instructions with a given value for the symbolic variable, determining one or more calls to an object-oriented-programming component in the commands, creating a new symbolic test driver including the calls based on the determined calls, and subsequently symbolically executing the new symbolic test driver.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.