Software verification
US9396095B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 15, 2014 |
| Grant date | Jul 19, 2016 |
| Priority date | — |
| Expiry date | May 15, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3684
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of verifying software may include receiving a portion of a software program that includes multiple functions. The method may also include clustering the functions into two or more clusters of functions and generating a symbolic driver for each of the clusters of functions such that multiple symbolic drivers are generated. The clusters of functions may be symbolically executed using the symbolic drivers to generate concrete test cases for the functions in the clusters. In response to the coverage of the symbolic execution of the clusters of functions being less than a particular coverage or a number of the concrete test cases being more than a particular number of concrete test cases, the method may include re-clustering the functions.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.