Automatically predicting faults that caused software failures using a Markov logic network
US10296443B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Oct 6, 2016 |
| Grant date | May 21, 2019 |
| Priority date | — |
| Expiry date | Jan 12, 2037 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3696
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and methods for automatically localizing faults for functional field failures that enables users to enter symptoms of a failure that occur during deployment of a given application along with the values of the input and configuration parameters in order to return locations in the source code that are likely to contain specific faults as well as show navigation paths from a suggested to the failure such that the code may be corrected. Successful and faulty runs of a software application are executed, and used to obtain ground facts and a knowledge base. A particular formula for the ground facts and knowledge base is discussed. A Markov Logic Network (MLN) is generated from the ground facts and knowledge base. Abductive reasoning based on the MLN is used to localize faults for the user-entered functional field failures.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.