System and method for detecting defects in a computer program using data and control flow analysis
US7900193B1 · kind B1 · utility
53Cited by
24References
21Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Nov 7, 2006 |
| Grant date | Mar 1, 2011 |
| Priority date | — |
| Expiry date | Dec 30, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method for identifying errors in a computer software include: identifying a potential problem in the computer software; triggering a portion of the computer software by the identified potential problem; determining a control flow graph and a data flow graph for the triggered portion of the computer software originating at the identified potential problem; and analyzing the control flow graph and the data flow graph to verify that the identified potential problem is an actual error. The potential problem may be identified using test tools such as a static analysis tool or a unit test tool.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.