Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2004.11A.1.097

Design of an Algorithmic Debugging Technique for Java Language  

Kouh, Hoon-Joon (인하대학교 대학원 전자계산공학과)
Yoo, Weon-Hee (인하대학교 전자계산공학과)
Publication Information
The KIPS Transactions:PartA / v.11A, no.1, 2004 , pp. 97-108 More about this Journal
Abstract
This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree iron Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique.
Keywords
Algorithmic Debugging; Java; Execution Tree;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 M. Auguston, 'A language for debugging automation,' In Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, pp.108-115, June, 1994
2 Z. Chen and B. Xu, 'Slicing Object-Oriented Java Programs,' ACM SIGPLAN Notices, Vol.36, No.4, pp 33-40, April, 2001   DOI
3 C. Mateis, M. Stumptner and F. Wotawa, 'Debugging of Java Programs using a model-based approach,' In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999
4 C. Mateis, M. Stumptner and Franz Wotawa, 'Locating bugs in java Programs-first results of the Java Diagnosis Experiments (Jade) project,' In Proceedings of IEA/AIE, New Orleans, Springer-Verlag, 2000
5 R. Lencevicius, 'On-the-fly Query-Based Debugging with Examples,' In Proceeding of the Fourth International Workshop on Automated and Algorithmic Debugging, AADE BUG '2000, Munich, Germany, August, 2000
6 P. Fritzson, N. Shahmehri, M. Kamkar and T. Gyimothy, 'Generalized Algorithmic Debugging and Testing,' In Proceeding of the 1991 ACM SIGPLAN Conference, Toronto, Canada, pp.317-326, June, 1991
7 E. Shapiro, Algorithmic Program Debugging, MIT Press, May, 1982
8 G. Kokai, L. Harmath and T. Gyim'othy, 'Algorithmic Debugging and Testing of Prolog Programs,' ICLP '97 The Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments Leuven, Belgium, pp.14-21, July, 1997
9 G. Kovacs, F. Magyar and T. Gyirnothy, 'Static Slicing of JAVA Programs,' Research Group on Artificial Intelligence(RGAI), Hungarian Academy of Sciences, Jozsef Attila University, HUNGARY, December, 1996
10 M. Stumptner, D. Wieland and F. Wotawa, 'Analysing models for software debugging,' Technische Universitat Wien Institut fur Informations systeme Database and Artificial Intelligence Group, 2001
11 H. J. Kouh and W. H. Yoo, 'Algorithmic Debugging in Java Programs,' ACIS Annual International Conference on Computer and Information Science (ICIS '02), August, 2002
12 고훈준, 유원희, '테스트 시스템을 위한 프로그래밍 언어와 컴파일러 설계', 한국정보과학회 논문지 : 컴퓨팅의 실제, 한국정보과학회, 제8권 제3호, 2002   과학기술학회마을
13 H. Nilsson and P. Fritzson, 'Algorithmic debugging for lazy functional languages,' In Proceedings of PLILP '92-Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium, August, 1992. LNCS 631, Springer-Verlag, 1992   DOI
14 H. Nilsson and P. Fritzson, 'Lazy Algorithmic Debugging: Ideas for Practical Implementation,' The First International Workshop on Automated and Algorithmic Debugging, AA DEBUG '93, 1993   DOI   ScienceOn
15 J. Gosling, B. JOY and G. Steels, Java Languages Specification, Addison-Wesley, 1996
16 P. Fritzson, M. Auguston and N. Shahmehri, 'Using Assertions in Declarative and Operational Models of Automated Debugging,' The Journal of Systems and Software 25, pp. 223-239, 1994   DOI   ScienceOn