자바 언어를 위한 알고리즘믹 디버깅 기술의 설계
Design of an Algorithmic Debugging Technique for Java Language
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
본 논문은 자바 프로그램에서 논리적인 오류를 발견하기 위해 알고리즈믹 디버깅 기술의 이용을 제안한다. 알고리즈믹 디버깅 기술은 원시 프로그램으로부터 실행 트리를 생성하고, 실행 트리로부터 프로그램 내에 포함된 논리적인 오류를 하향식 방법으로 발견하는 반자동화 디버깅 기술이다. 따라서 알고리즈믹 디버깅 기술은 다양한 프로그래밍 언어에 알맞은 실행 트리를 생성하는 것이 중요하다. 본 논문에서는 자바 프로그램으로부터 실행 트리를 생성하는 방법을 제안하고 예제를 통해서 자바 프로그램을 위한 알고리즈믹 디버깅 기술을 확인한다. 이 접근은 전통적인 순차적 디버깅 기술보다 사용자와 디버깅 시스템 사이에서 상호작용의 수를 줄일 수 있다.
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 from 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.
참고문헌 (15)
- "A language for debugging automation", (108115), pp.1994~ (1994), knowledge systems institute
- "Using Assertions in Declarative and Operational Models of Automated Debugging", 25, pp.223~239 (1994)
- "Algorithmic Debugging in Java Programs", ACIS Annual International Conference on Computer and Information Science
- "Static Slicing of JAVA Programs", Jozsef Attila University
- "Slicing Object-Oriented Java Programs", 36(4), pp.33~40
- "Debugging of Java Programs using a model-based approach" (1999), Loch Awe, Scotland
- "Locating bugs in java Programs-first results of the Java Diagnosis Experiments Jade project" (2000), New Orleans, Springer-Verlag
- "Analysing models for software debugging" (2001), Technische Universitat Wien Institut fur Informations systeme Database and Artificial Intelligence Group
- "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
- "Generalized Algorithmic Debugging and Testing", pp.317~326, Toronto, Canada
- G. Kokai, "Algorithmic Debugging and Testing of Prolog Programs", pp.14~21, Eighth Workshop on Logic Programming Environments Leuven, Belgium
- H. Nilsson, "In Proceedings of PLILP 92" (1992), Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium
- H. Nilsson, "Lazy Algorithmic Debugging：Ideas for Practical Implementation" (1993)
- J. Gosling, "Java Languages Specification" (1996), Addison-Wesley
- 고훈준, "테스트 시스템을 위한 프로그래밍 언어와 컴파일러 설계", 8(3) (2002), 한국정보과학회