WWW.THESIS.DISLIB.INFO
FREE ELECTRONIC LIBRARY - Online materials, documents
 
<< HOME
CONTACTS



Pages:     | 1 ||

«An Exception Monitoring System for Java Heejung Ohe and Byeong-Mo Chang Department of Computer Science, Sookmyung Women’s University, Seoul ...»

-- [ Page 2 ] --

method, through which it is propagated back. So a propagated exception can be counted multiply.

The listed figures of Jess represents propagation of a thrown exception when an input with wrong syntax is given. The listed figures of Rex also represents propagation of a thrown exception when a wrong option is given. The listed figures of Check represents the many numbers of thrown, handled and propagated exceptions.

80 H. Ohe and B.-M. Chang 6 Related Works In [10, 11], the usage patterns of exception-handling constructs in Java programs were studied to show that exception-handling constructs are used frequently in Java programs and more accurate exception flow information is necessary.

Exception analyses have been studied actively based on static analysis framework [2, 3, 12, 9]. Static exception analyses analyze input programs before execution and provide approximate information about all possible uncaught exceptions of each method. In Java[8], the JDK compiler ensures, by an intraprocedural analysis, that clients of a method either handle the exceptions declared by that method, or explicitly specify them at method header. In [9], a tool called Jex was developed to analyze uncaught exceptions in Java. It can extract the uncaught exceptions in Java programs, and generate views of the exception structure.

In our previous work [2, 12], we proposed interprocedural exception analysis that estimates uncaught exceptions independently of programmers’s specified exceptions. We compared our analysis with JDK-style analysis by experiments on realistic Java programs. We also have shown that our analysis can detect uncaught exceptions, unnecessary catch and throws clauses effectively.

Static analysis techniques, however, cannot provide information about actual execution. So, dynamic analysis techniques have also been studied to provide information about actual execution [4, 13, 14]. Several dynamic analysis tools are developed for Java including J2ME Wireless Toolkit [14] and AdaptJ [13]. Recent J2ME Wireless Toolkit can trace method calls, exceptions and class loading as well as memory usage using JVMPI. However, it provides just the names of exceptions whenever exceptions are thrown. Moreover, JVMPI imposes heavy burden on performance overhead, which makes execution speed too slow. It is hard to trace interesting parts of programs effectively, because all codes including libraries are included in the trace. AdaptJ don’t provide any exception-related information during execution.

Our current work differs from the previous static works in that the previous works focus on estimating uncaught exceptions rather than providing information on the propagation paths of thrown exceptions. Our monitoring system can trace in real-time how thrown exceptions including unchecked exceptions are handled and propagated during execution. This trace function has not been supported by any dynamic systems yet.

7 Conclusion We have developed a dynamic exception monitoring system, which can help programmers trace and handle exceptions effectively. Using this system, programmers can examine exception handling process in more details by tracing only interesting exceptions, and can handle exceptions more effectively. To reduce performance overhead, we have designed the system based on inlined reference monitor. We are extending this system in two directions. The first one is to visualize exception trace and profile information, which can give more insights to An Exception Monitoring System for Java 81 programmers. The second one is to adapt this system to J2ME programs, which are widely used in mobile environment.

References

1. B. Bokowski, Andre Spiegel. Barat A Front-End for Java. Technical Report B-98-09 December 1998.

2. 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.

3. J.-D. Choi, D. Grove, M. Hind, and V. Sarkar, Efficient and precise modeling of exceptions for analysis of Java programs, Proceedings of ’99 ACM SIGPLANSIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21-31.

4. B. Dufour, K. Driesen, L. Hendren and C. Verbrugge. Dynamic Metrics for Java.

Proceedings of ACM OOPSLA ’03, October, 2003, Anaheim, CA.

5. S. Drossopoulou, and T. Valkevych, Java type soundness revisited. Techical Report, Imperial College, November 1999. Also available from: http://wwwdoc.ic.ac.uk/ scd.

6. U. Erlingsson, The inlined reference monitor approach to secure policy enforcement, Ph.D thesis, Cornell University, January 2004.

7. E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns:Elements of Reusable Object-Oriented Software, Addison-Wesley,1995.

8. J. Gosling, B. Joy, and G. Steele, The Java Programming Language Specification, Addison-Wesley,1996.

9. M. P. Robillard and G. C. Murphy, Analyzing exception flow in Java programs, in Proc. of ’99 European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 322-337.

10. B. G. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah, A static study of Java exceptions using JESP, Tech. Rep. DCS-TR-403, Rutgers University, Nov.

1999.

11. S. Sinha and M. Harrold, Analysis and testing of programs with exception-handling constructs, IEEE Transations on Software Engineering 26(9) (2000).

12. K. Yi and B.-M. Chang Exception analysis for Java, ECOOP Workshop on Formal Techniques for Java Programs, June 1999, Lisbon, Portugal.

13. AdaptJ:A Dynamic Application Profiling Toolkit for Java, http://www.sable.mcgill.ca/ bdufou1/AdaptJ

Pages:     | 1 ||


Similar works:

«lVIASTER LABOR AGREEMENT between LOCAL UNION 393 OF THE UNITED ASSOCIATION OF JOURNEYMEN AND APPRENTICES OF THE PLUMBING AND PIPE FITTING INDUSTRY OF THE UNITED STATES AND CANADA And SANTA CLARA VALLEY CONTRACTORS ASSOCIATION NORTHERN CALIFORNIA MECHANICAL CONTRACTORS ASSOCIATION GREATER BAY AREA ASSOCIATION' OF PLUMBING AND MECHANICAL CONTRACTORS INDUSTRIAL CONTRACTORS UMIC, INC. Effective July 1, 2009 Expires June 30, 2012 MLA_07-01-2009 to 06-30-2010_01/6/2010_11 :01:48 AM Table of Contents...»

«IMAGING SYSTEM RELEASE NOTES Version 3.0 March 2002 Department of Veterans Affairs System Design and Development VISTA Imaging Preface This document describes new features and enhancements to existing functionality of the VISTA Imaging System, V. 3.0. This document is part of the VISTA Imaging software documentation set, which includes: • Release Notes • Installation Guides • Security Guide • Technical Manual • User Manuals VISTA Imaging System V. 3.0 Release Notes March 2002 i...»

«A Market for Unbiased Private Data: Paying Individuals According to their Privacy Attitudes Christina Aperjis Bernardo A. Huberman Social Computing Group Social Computing Group HP Labs HP Labs christina.aperjis@hp.com bernardo.huberman@hp.com Abstract Since there is, in principle, no reason why third parties should not pay individuals for the use of their data, we introduce a realistic market that would allow these payments to be made while taking into account the privacy attitude of the...»

«Concept IP video surveillance is not for everyone System integration is a specialized expertise Testing, testing, and more testing before going to the field How can Genius Vision help you on technical issues? Reproducibility External factors Scarcity of resource I need to report a software problem. How to do this effectively? If I pay for the software, how much more support can I get in the field? Can you remotely assist me through TeamViewer to fix my problem? Does Genius Vision provide...»

«AR0532 Smart & Bio-Climatic Design Theory 4117646 Hyejun An ENHANCED NATURAL VENTILATION METHOD for ATRIUM SPACE CONTENTS 1. INTRODUCTION 1.1 Importance of designing Architectural HVAC system 1.2. Definition and Benefit of Natural Ventilation 1.3. Design Challenges of Natural Ventilation 2. TECHNICAL THEORY of NATURAL VENTILATION 2.1. Natural ventilation 2.1.1 Wind induced pressurization: CROSS VENTILATION 2.1.2 Temperature & Height difference induced pressurization: STACK VENTILATION 2.2....»

«Exception Flows made Explicit: An Exploratory Study Nélio Cacho1, Francisco Dantas2,3, Alessandro Garcia2, Fernando Castor4 School of Science and Technology, Federal University of Rio Grande do Norte, Brazil Informatics Department, Opus Research Group, PUC-Rio, Brazil Computing Department, State University of Rio Grande do Norte, Brazil Informatics Center, Federal University of Pernambuco, Brazil neliocacho@ect.ufrn.br,{afgarcia, fnetog}@inf.puc-rio.br, castor@cin.ufpe.br Abstract. Most of the...»





 
<<  HOME   |    CONTACTS
2017 www.thesis.dislib.info - Online materials, documents

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.