Browse > Article

Visualization of Exception Propagation for Java Programs based on Static Analysis  

허순희 (숙명여자대학교 전산학과)
창병모 (숙명여자대학교 전산학과)
Publication Information
Journal of KIISE:Software and Applications / v.30, no.7_8, 2003 , pp. 696-702 More about this Journal
Abstract
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.
Keywords
Java; exception propagation; exception analysis; set-based analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
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   DOI
2 K. Yi and B.-M. Chang Exception analysis for Java, ECOOP Workshop on Formal Techniques for Java Programs, June 1999, Lisbon, Portugal
3 S. Sinha and M. Harrold, Analysis and testing of programs with exception-handling constructs, IEEE Transactions on Software Engineering 26(9) (2000)   DOI   ScienceOn
4 Barat, http://www.sharemation.com/~bokowski/ba rat/index.html
5 N. Heintze, 'Set-based program analysis'. Ph.D thesis, Carnegie Mellon University, October 1992
6 S. Drossopoulou, and S. Eisenbach, 'Java is type safe-probably', Proceedings of 97 European Conference on Object-Oriented Programming, 1997   DOI   ScienceOn
7 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
8 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   DOI
9 S. Koleth , M. Hansen, R. Zsolt, Jipe, http://jipe.sourceforge.net