Problem determination via model-based debugging
US7647528B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 3, 2007 |
| Grant date | Jan 12, 2010 |
| Priority date | — |
| Expiry date | Jun 25, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3636
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for automated software debugging includes steps of: receiving an interface configured for accessing a program; receiving a behavioral model of the program; receiving a failing input sequence from the program; executing the failing input sequence on both the behavioral model and the program; validating, after each executing step, an expected behavior of the program by executing specially constructed test sequences from the behavioral model; performing model mutation for creating a hypothesis of faulty behaviors; verifying hypothesized faulty behaviors; and scoring hypothesized faulty behaviors for producing a ranked list of diagnoses. The method also includes a step of presenting the ranked list of diagnoses to a user.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.