한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

정적분석을 이용한 자바 프로그램의 예외 전파 시각화

Visualization of Exception Propagation for Java Programs based on Static Analysis

  • 허순희 (숙명여자대학교 전산학과) ;
  • 창병모 (숙명여자대학교 전산학과)
  • 발행 : 2003.08.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서는 자바 프로그램의 예외 전파 경로를 추정하기 위한 집합 기반 분석을 제시하고 분석 결과를 이용하여 예외 전파 경로를 시각적으로 보여주는 시각화기를 제시한다. 본 논문에서는 예외 전파 분석기 및 시각화기를 구현하였다. 프로그래머는 시각화기를 이용하여 예외 전파 경로를 따라가면서 처리되지 않는 예외들을 감지하고 예외들을 보다 효과적으로 처리할 수 있다.

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and a visualization tool, which can guide programmers to handle exceptions more effectively.

키워드

참고문헌

  1. B.-M. Chang, J. Jo, K. Yi, and K. Choe, 'Interprocedural Exception Analysis for Java', Proceedings of ACM Symposium on Applied Computing , pp 620-625, Mar. 2001 https://doi.org/10.1145/372202.372786
  2. M. P. Robillard and G. C. Murphy, Analyzing exception flow in Java programs, Proc. of '99 European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 322-337, Springer-Verlag https://doi.org/10.1145/318773.319251
  3. K. Yi and B.-M. Chang Exception analysis for Java, ECOOP Workshop on Formal Techniques for Java Programs, June 1999, Lisbon, Portugal
  4. S. Sinha and M. Harrold, Analysis and testing of programs with exception-handling constructs, IEEE Transactions on Software Engineering 26(9) (2000) https://doi.org/10.1109/32.877846
  5. Barat, http://www.sharemation.com/~bokowski/ba rat/index.html
  6. S. Koleth , M. Hansen, R. Zsolt, Jipe, http://jipe.sourceforge.net
  7. N. Heintze, 'Set-based program analysis'. Ph.D thesis, Carnegie Mellon University, October 1992
  8. S. Drossopoulou, and S. Eisenbach, 'Java is type safe-probably', Proceedings of 97 European Conference on Object-Oriented Programming, 1997 https://doi.org/10.1007/BFb0053388
  9. S. Drossopoulou, and T. Valkevych, 'Java type soundness revisited'. Techical Report, Imperial College, November 1999. Also available from: http://www-doc.ic.ac.uk/~scd