Software fault prediction algorithms predict which software components is likely to contain faults using machine learning techniques. Software diagnosis algorithm identify the faulty software components that caused a failure using model-based or spectrum based approaches. We show how software fault prediction algorithms can be used to improve software diagnosis. The resulting data-augmented diagnosis algorithm overcomes key problems in software diagnosis algorithms: ranking diagnoses and distinguishing between diagnoses with high probability and low probability. We demonstrate the efficiency of the proposed approach empirically on three open sources domains, showing significant increase in accuracy of diagnosis and efficiency of troubleshooting. These encouraging results suggests broader use of data-driven methods to complement and improve existing model-based methods.

Increasing complexity of technical systems requires a precise fault localization in order to reduce maintenance costs and system downtimes. Model-based diagnosis has been presented as a method to derive root causes for observed symptoms, utilizing a description of the system to be diagnosed. Practical applications of model-based diagnosis, however, are often prevented by the initial modeling task and computational complexity associated with diagnosis. In the proposed thesis, we investigate techniques addressing these issues. In particular, we utilize a mapping function which converts fault information available in practice into propositional horn logic sentences to be used in abductive model-based diagnosis. Further, we plan on devising algorithms which allow an efficient computation of explanations given the obtained models.