Method and apparatus for analyzing software
US8584108B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 29, 2010 |
| Grant date | Nov 12, 2013 |
| Priority date | — |
| Expiry date | Jul 21, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/433
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer-implemented method for evaluating a machine-executable software code specification includes using the computer to generate a system dependence graph corresponding to the software code specification. The system dependence graph includes elements including nodes and edges, wherein the computer evaluates the system dependence graph. The evaluation of the system dependence graph includes selecting a variable modified in the software code specification, traversing to selected elements of the system dependence graph, the selected elements associated with the selected variable, evaluating only the selected elements of the system dependence graph, and identifying ones of the selected elements whereat a state of the selected variable is modified.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.