Using AI Techniques for Fault Localization in Component-Oriented Software Systems

  • Jörg Weber
  • Franz Wotawa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4293)


In this paper we introduce a technique for runtime fault detection and localization in component-oriented software systems. Our approach allows for the definition of arbitrary properties at the component level. By monitoring the software system at runtime we can detect violations of these properties and, most notably, also locate possible causes for specific property violation(s). Relying on the model-based diagnosis paradigm, our fault localization technique is able to deal with intermittent fault symptoms and it allows for measurement selection. Finally, we discuss results obtained from our most recent case studies.


Fault Localization Horn Clause Runtime Overhead Software Behavior Runtime Monitoring 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: Proceedings of the 19th International Joint Conference on AI (IJCAI 2005), Edinburgh, UK, pp. 1742–1743 (2005)Google Scholar
  2. 2.
    Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence 111, 3–39 (1999)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32, 57–95 (1987)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32, 97–130 (1987)MATHCrossRefGoogle Scholar
  5. 5.
    Brusoni, V., Console, L., Terenziani, P., Dupré, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 102, 39–79 (1998)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters 29, 1–12 (1988)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Grosclaude, I.: Model-based monitoring of software components. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, pp. 1025–1026. IOS Press, Amsterdam (2004)Google Scholar
  8. 8.
    Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Dupré, D.T.: Cooperative Model-Based Diagnosis of Web Services. In: Proceedings of the 16th International Workshop on Principles of Diagnosis. DX Workshop Series, pp. 125–132 (2005)Google Scholar
  9. 9.
    Mikaelian, T., Williams, B.C.: Diagnosing complex systems with software-extended behavior using constraint optimization. In: Proceedings of the 16th International Workshop on Principles of Diagnosis. DX Workshop Series, pp. 125–132 (2005)Google Scholar
  10. 10.
    Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: WOSS 2002: Proceedings of the first workshop on Self-healing systems, pp. 27–32. ACM Press, New York (2002)CrossRefGoogle Scholar
  11. 11.
    Luckham, D., et al.: Specification and analysis of system architecture using RAPIDE. IEEE Transactions on Software Engineering 21, 336–355 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jörg Weber
    • 1
  • Franz Wotawa
    • 1
  1. 1.Institute for Software TechnologyTechnische Universität GrazAustria

Personalised recommendations