A Distributed Approach to Diagnosis Candidate Generation

  • Nuno Cardoso
  • Rui Abreu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8154)


Generating diagnosis candidates for a set of failing transactions is an important challenge in the context of automatic fault localization of both software and hardware systems. Being an NP-Hard problem, exhaustive algorithms are usually prohibitive for real-world, often large, problems. In practice, the usage of heuristic-based approaches trade-off completeness for time efficiency. An example of such heuristic approaches is Staccato, which was proposed in the context of reasoning-based fault localization. In this paper, we propose an efficient distributed algorithm, dubbed MHS2, that renders the sequential search algorithm Staccato suitable to distributed, Map-Reduce environments. The results show that MHS2 scales to larger systems (when compared to Staccato), while entailing either marginal or small runtime overhead.


Fault Localization Minimal Hitting Set Map-Reduce 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abreu, R.: Spectrum-based Fault Localization in Embedded Software. PhD thesis, Delft University of Technology (November 2009)Google Scholar
  2. 2.
    Abreu, R., van Gemund, A.J.C.: A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In: Symposium on Abstraction, Reformulation, and Approximation, SARA 2009 (2009)Google Scholar
  3. 3.
    Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Testing: Academic and Industrial Conference Practice and Research Techniques, TAICPART 2007 (2007)Google Scholar
  4. 4.
    de Kleer, J., Williams, B.C.: Readings in model-based diagnosis (1992)Google Scholar
  5. 5.
    Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: Symposium on Opearting Systems Design & Implementation, OSDI 2004 (2004)Google Scholar
  6. 6.
    Feldman, A., Provan, G., Van Gemund, A.J.C.: Computing minimal diagnoses by greedy stochastic search. In: AAAI Conference on Artificial intelligence, AAAI 2008 (2008)Google Scholar
  7. 7.
    Garey, M.R., Johnsonp, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness (1990)Google Scholar
  8. 8.
    Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter’s theory of diagnosis. Artificial Intelligence 41(1) (1989)Google Scholar
  9. 9.
    Hailpern, B., Santhanam, P.: Software debugging, testing, and verification. IBM Syst. J. 41(1) (January 2002)Google Scholar
  10. 10.
    Harrold, M.J., Rothermel, G., Wu, R., Yi, L.: An empirical investigation of program spectra. In: Program Analysis for Software Tools and Engineering, PASTE 1998 (1998)Google Scholar
  11. 11.
    Pill, I., Quaritsch, T.: Optimizations for the boolean approach to computing minimal hitting sets. In: European Conference on Artificial Intelligence, ECAI 2012 (2012)Google Scholar
  12. 12.
    Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1) (1987)Google Scholar
  13. 13.
    Ruchkys, D.P., Song, S.W.: A parallel approximation hitting set algorithm for gene expression analysis. In: Symposium on Computer Architecture and High Performance Computing (2002)Google Scholar
  14. 14.
    Wotawa, F.: A variant of Reiter’s hitting-set algorithm. Information Processing Letters 79(1) (2001)Google Scholar
  15. 15.
    Zhao, X., Ouyang, D.: Improved algorithms for deriving all minimal conflict sets in model-based diagnosis. In: Huang, D.-S., Heutte, L., Loog, M. (eds.) ICIC 2007. LNCS, vol. 4681, pp. 157–166. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Nuno Cardoso
    • 1
  • Rui Abreu
    • 1
  1. 1.Department of Informatics Engineering Faculty of EngineeringUniversity of PortoPortoPortugal

Personalised recommendations