Abstract
In this paper we present a novel extension of a lightweight model for fault localization that allows for modeling procedural programs. The procedural programming paradigm is often used in (safety-critical) control software where a program’s verification and subsequent fault localization is of utmost importance. In this article we present results from our recent case study relying on this kind of programs. Notably, our lightweight model is always able to localize the misbehavior’s real cause.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)
Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence 111(2), 3–39 (1999)
Jackson, D.: Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology 4(2), 109–145 (1995)
Köb, D., Wotawa, F.: Introducing alias information into model-based debugging. In: 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, pp. 833–837. IOS Press, Amsterdam (2004)
Kuper, R.I.: Dependency-directed localization of software bugs. Technical Report AI-TR 1053, MIT AI Lab (May 1989)
Mayer, W., Stumptner, M.: Extending diagnosis to debug programs with exceptions. In: Proceedings 18th Int’l. IEEE Conference on Automated Software Engineering, Montreal, Canada, pp. 240–244 (October 2003)
Peischl, B., Wotawa, F.: Model-based diagnosis or reasoning from first principles. IEEE Intelligent Systems 18(3), 32–37 (2003)
Peischl, B., Wotawa, F.: Automated source-level error localization in hardware designs. In: IEEE Design & Test of Computers, pp. 8–19. IEEE Computer Society Press, Los Alamitos (2006)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Stumptner, M.: Using design information to identify structural software faults. In: AI 2001: Proceedings of the 14th Australian Joint Conference on Artificial Intelligence, pp. 473–486. Springer, London, UK (2001)
Wieland, D.: Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Vienna University of Technology, Computer Science Department, Institute of Information Systems (184), Database and Artificial Intelligence Group (184/2) (November 2001)
Wotawa, F.: Debugging hardware designs using a value-based Model. Applied Intelligence 16(1), 71–92 (2002)
Wotawa, F., Soomro, S.: Fault localization based on abstract dependencies. In: Proceedings of 18th International Conference on Industrial Engineering Applications of Artificial Intelligence Expert Systems. LNCS (LNAI), pp. 357–359. Springer, Heidelberg (2005)
Wotawa, F., Soomro, S.: Using abstract dependencies in debugging. In: Proceedings of 19th International Workshop on Qualitative Reasoning QR 2005, pp. 23–28 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Peischl, B., Soomro, S., Wotawa, F. (2006). Towards Lightweight Fault Localization in Procedural Programs. In: Ali, M., Dapoigny, R. (eds) Advances in Applied Artificial Intelligence. IEA/AIE 2006. Lecture Notes in Computer Science(), vol 4031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11779568_71
Download citation
DOI: https://doi.org/10.1007/11779568_71
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35453-6
Online ISBN: 978-3-540-35454-3
eBook Packages: Computer ScienceComputer Science (R0)