Visualization of exception handling constructs to support program understanding

ABSTRACT

This paper presents a new visualization technique for supporting the understanding of exception-handling constructs in Java programs. To understand the requirements for such a visualization, we surveyed a group of software developers, and used the results of that survey to guide the creation of the visualizations. The technique presents the exception-handling information using three views: the quantitative view, the flow view, and the contextual view. The quantitative view provides a high-level view that shows the throw-catch interactions in the program, along with relative numbers of these interactions, at the package level, the class level, and the method level. The flow view shows the type-throw-catch interactions, illustrating information such as which exception types reach particular throw statements, which catch statements handle particular throw statements, and which throw statements are not caught in the program. The contextual view shows, for particular type-throw-catch interactions, the packages, classes, and methods that contribute to that exception-handling construct. The paper also presents a case study in which we evaluated a prototype of the visualization system on a small set of developers.

REFERENCES

• 1: Byeong-Mo Chang , Jang-Wu Jo , Soon Hee Her, Visualization of Exception Propagation for Java Using Static Analysis, Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), p.173, October 01-01, 2002
• 2: Stephen G. Eick , Joseph L. Steffen , Eric E. Sumner, Jr., Seesoft-A Tool for Visualizing Line Oriented Software Statistics, IEEE Transactions on Software Engineering, v.18 n.11, p.957-968, November 1992 [doi>10.1109/32.177365]
• 3: Chen Fu , Barbara G. Ryder, Navigating error recovery code in Java applications, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, p.40-44, October 16-17, 2005, San Diego, California [doi>10.1145/1117696.1117705]
• 4: Fu, C., and Ryder, B. G. 2005. Testing and understanding error recovery code in Java applications. In Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions, 15--26.
• 5: Chen Fu , Barbara G. Ryder, Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications, Proceedings of the 29th international conference on Software Engineering, p.230-239, May 20-26, 2007 [doi>10.1109/ICSE.2007.35]
• 6: James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 7: Rob Lintern , Jeff Michaud , Margaret-Anne Storey , Xiaomin Wu, Plugging-in visualization: experiences integrating a visualization tool with Eclipse, Proceedings of the 2003 ACM symposium on Software visualization, June 11-13, 2003, San Diego, California [doi>10.1145/774833.774840]
• 8: Reimer, D., and Srinivasan, H. 2003. Analyzing exception usage in large Java applications. In Workshop on Exception Handling in Object Oriented Systems, 10--19.
• 9: Martin P. Robillard , Gail C. Murphy, Analyzing exception flow in Java programs, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.322-337, September 06-10, 1999, Toulouse, France
• 10: Martin P. Robillard , Gail C. Murphy, Designing robust Java programs with exceptions, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.2-10, November 06-10, 2000, San Diego, California, United States
• 11: Martin P. Robillard , Gail C. Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.2, p.191-221, April 2003 [doi>10.1145/941566.941569]
• 12: Barbara G. Ryder , Donald Smith , Ulrich Kremer , Michael Gordon , Nirav Shah, A Static Study of Java Exceptions Using JESP, Proceedings of the 9th International Conference on Compiler Construction, p.67-81, March 25-April 02, 2000
• 13: Carl F. Schaefer , Gary N. Bundy, Static analysis of exception handling in Ada, Software—Practice & Experience, v.23 n.10, p.1157-1174, Oct. 1993 [doi>10.1002/spe.4380231007]
• 14: Ben Shneiderman, The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations, Proceedings of the 1996 IEEE Symposium on Visual Languages, p.336, September 03-06, 1996
• 15: S. Sinha , M. J. Harrold, Analysis of Programs with Exception-Handling Constructs, Proceedings of the International Conference on Software Maintenance, p.348, March 16-19, 1998
• 16: Saurabh Sinha , Mary Jean Harrold, Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, v.26 n.9, p.849-871, September 2000 [doi>10.1109/32.877846]
• 17: Saurabh Sinha , Alessandro Orso , Mary Jean Harrold, Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow, Proceedings of the 26th International Conference on Software Engineering, p.336-345, May 23-28, 2004
• 18: Giuseppe Di Battista , Peter Eades , Roberto Tamassia , Ioannis G. Tollis, Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall PTR, Upper Saddle River, NJ, 1998
• 19: Raja Vallée-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , Vijay Sundaresan, Soot - a Java bytecode optimization framework, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.13, November 08-11, 1999, Mississauga, Ontario, Canada
• 20: Van Someren, M. W., Barnard, Y. F., and Sandberg, J. A. C. 1994. The Think Aloud Method: a Practical Guide to Modelling Cognitive Processes. Academic Press, London, San Diego.
• 21: Vessey, I. 1985. Expertise in debugging computer programs: A process analysis. International Journal of Man-Machine Studies 23, 5, 459--494.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Java

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)

General Terms:
Design

Keywords:
Eclipse plugin, exception handling, interactive visualization, multiple views, program understanding