Software architecture for validating C++ programs using symbolic execution
US8869113B2 · kind B2 · utility
3Cited by
15References
23Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jan 20, 2011 |
| Grant date | Oct 21, 2014 |
| Priority date | — |
| Expiry date | Oct 16, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Particular embodiment compile a C++ program having one or more input variables to obtain bytecode of the C++ program; compile a C++ library to obtain bytecode of the C++ library; symbolically execute the bytecode of the C++ program and the bytecode of the C++ library, comprising assign a symbolic input to each input variable of the C++ program; determine one or more execution paths in the C++ program; and for each execution path, construct a symbolic expression that if satisfied, causes the C++ program to proceed down the execution path; and generate one or more test cases for the C++ program by solving the symbolic expressions.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.