Abstract
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in order to determine the set of possible causes for a detected misbehavior. The new model is based on the concept of dependencies between variables of a program but leads to improvements with respect to the quality of diagnosis results. First experimental results show the improvements of the presented approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Scott Ananian, C.: The static single information form. Master’s thesis, Massachusetts Institute of Technology (September 1990)
Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: Proc. of the 30th ACM SIGPLAN-SIGACT symposium of programming languages (POPL), pp. 97–105. ACM Press, New York (2003)
Bush, W.R., Pincus, J.D., Sielaff, D.J.: A static analyzer for finding dynamic programming errors. Software Practice and Experience 30(7), 775–802 (2000)
Corbett, J.C.: Using shape analysis to reduce finite-state models of concurrent Java programs. ACM Transactions on Software Engineering and Methodology 9(1), 51–93 (2000)
Detlefs, D.L., Rustan, K., Leino, M., Nelson, G., Saxe, J.B.: Extended static checking. Technical Report SRC-RR-159, Hewlett Packard Laboratories (December 18, 1998)
Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, pp. 242–256. ACM Press, New York (1994)
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng. 27(2), 99–123 (2001)
Hamscher, W., Console, L., de. Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Francisco (1992)
Jackson, D.: Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology 4(2), 109–145 (1995)
Mateis, C., Stumptner, M., Wotawa, F.: Debugging of Java programs using a model-based approach. In: Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland (1999)
Mateis, C., Stumptner, M., Wotawa, F.: Modeling Java Programs for Diagnosis. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany (August 2000)
Mateis, C., Stumptner, M., Wotawa, F.: A Value-Based Diagnosis Model for Java Programs. In: Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico (June 2000)
Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Can ai help to improve debugging substantially? debugging experiences with valuebased models. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Lyon, France, pp. 417–421. IOS Press, Amsterdam (2002)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Struss, P., Heller, U.: Process-oriented modeling and diagnosis - revising and extending the theory of diagnosis from first principles. In: Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, Massachusetts, USA, May 1998, pp. 110–117 (1998)
Stumptner, M., Wieland, D., Wotawa, F.: Comparing two models for software debugging. In: Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria (2001)
Whaley, J., Martin, M., Lam, M.: Automatic extraction of objectoriented component interfaces. In: Frankl, P.G. (ed.) Proc. of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), July 22-24, vol. 27(4), pp. 221–231. ACM Press, New York (2002)
Wotawa, F.: Debugging VHDL Designs using Model-Based Reasoning. Artificial Intelligence in Engineering 14(4), 331–351 (2000)
Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering 28(2) (February 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, R., Köb, D., Wotawa, F. (2004). Improving Fault Localization of Programs by Using Labeled Dependencies. In: Biundo, S., Frühwirth, T., Palm, G. (eds) KI 2004: Advances in Artificial Intelligence. KI 2004. Lecture Notes in Computer Science(), vol 3238. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30221-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-30221-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23166-0
Online ISBN: 978-3-540-30221-6
eBook Packages: Springer Book Archive