신뢰성 높은 Java 프로그램 개발을 위한 예외 모니터링 시스템
An Exception Monitoring System for Developing Reliable Java Programs
2
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
자바 언어는 신뢰성 있는 프로그램의 개발을 위해 예외를 처리할 수 있는 명시적인 예외 처리 메커니즘을 제공한다. 따라서 신뢰성 있는 프로그램 개발을 위해서는 실행 시간에 발생 가능한 예외에 대한 적절한 처리가 매우 중요하다. 본 논문에서는 신뢰성 있는 프로그램 개발을 위한 동적 예외 모니터링 시스템을 개발하였다. 이 시스템은 프로그래머가 효과적으로 실제 발생된 예외의 처리, 전파과정을 모니터링 할 수 있으며 이러한 기능을 이용하여 좀더 적절한 예외 처리가 가능하도록 하며 결과적으로 개발된 프로그램의 신뢰성을 향상시킬 수 있다. 본 시스템은 사용자 옵션을 통하여 관심 있는 예외들만을 모니터링 할 수 있으며 또한 시스템의 성능 부하를 줄이기 위해 기존의 코드에 필요한 모니터링 코드만를 삽입하는 방식으로 시스템을 설계하고 구현하였다. 또한 실험을 통해서 그 효과를 보였다.
Abstract
Exception mechanism in Java allows programmers to define, throw and catch exceptional conditions. It is important for the development of reliable programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop an exception monitoring system, which can help programmers trace and handle exceptions effectively. Using this system, programmers can examine exception handling process in detail by tracing only interesting exceptions, and can handle exceptions more effectively. To reduce performance overhead, we design the system based on code instrumentation. Moreover, we show the effectiveness of the system by experiments on benchmark programs.
참고문헌 (10)
- B.-M. Chang, "Visualization of Exception Propagation for Java using Static Analysis" (2002)
- B.-M Chang, "Interprocedural Exception analysis for java", pp.620~625 (2001)
- B. Bokowski, "Andr Spiegel. Barat A Front-End for Java" (1998)
- B. Dufour, "L. Hendren and C. Verbrugge. Dynamic Metrics for Java." (2003)
- E. Gamma, "Elements of Reusable Object-Oriented Software" (1995), Addison-Wesley
- J. Gosling, "The Java Programming Language Specification" (1996), Addison-Wesley
- M. P. Robillard, "Analyzing exception flow in Java programs", pp.322~337
- B. G. Ryder, "A static study of Java Exceptions using JESP", pp.403~ (1999), Rutgers University
- "AdaptJ:A Dynamic Application Profiling Toolkit for Java"
- "Sun Microsystems, J2ME Wireless Toolkit"