Exception Handling Scheme of Java

金松,齐璇,柳军飞

DOI: https://doi.org/10.3969/j.issn.1000-7024.2003.12.017

2003-01-01

Abstract:Exception Handling is an important language mechanism of Java. Handling exceptions correctly will help to write a reliable and robust program. The conception and thought of exception has been reviewed. An exception handling scheme is presented. And how to handle typical exceptions of Java is shown.

What problem does this paper attempt to address?

Exception Handling Mechanism

Huang Tuchen,Shao Beibei

DOI: https://doi.org/10.3969/j.issn.1009-623X.2009.12.024

2009-01-01

Abstract:Exception handling mechanism is a new and advanced feature in C++ language.Traditionally,programmers dealt with errors by returning an error code.Now the exception handling mechanism can provide a more effective approach for handling all kinds of possible errors.It also separates error-handling code from normal code,which greatly clarifies the code.MISCRA C++:2008 gives a number of related norms on how to use this feature safely and reliably.
On the Exception Handling of C++

裘宗燕

DOI: https://doi.org/10.3969/j.issn.1002-137x.2003.11.047

2003-01-01

Computer Science

Abstract:Here we make a detailed investigation on the exception handling mechanism of C++ ,have much discussion on many design and implementation problems.and offer many suggestions on the use of it.
An Efficient and Reliable Object-Oriented Exception Handling Mechanism

SJ Jiang,BW Xu

DOI: https://doi.org/10.1145/1052659.1052664

2005-01-01

Abstract:This paper proposes an exception handling mechanism for developing reliable object-oriented systems based on analyzing some problems encountered in the C++ programming language. The exceptions are organized into a knowledge sharing inheritance hierarchy and the handlers can be defined within exception classes. This enables the information to be hidden. The separation between the normal codes and the exception handling codes makes the program neat and maintainable. It supports both the termination and the retry model. Binding the exception to the object responsible for its raise can solve the issue of matching the handler relying on only the exception type.
Making exceptions on exception handling

Tao Xie,Thummalapenta, S.

DOI: https://doi.org/10.1109/WEH.2012.6226593

2012-01-01

Abstract:The exception-handling mechanism has been widely adopted to deal with exception conditions that may arise during program executions. To produce high-quality programs, developers are expected to handle these exception conditions and take necessary recovery or resource-releasing actions. Failing to handle these exception conditions can lead to not only performance degradation, but also critical issues. Developers can write formal specifications to capture expected exception-handling behavior, and then apply tools to automatically analyze program code for detecting specification violations. However, in practice, developers rarely write formal specifications. To address this issue, mining techniques have been used to mine common exception-handling behavior out of program code. In this paper, we discuss challenges and achievements in precisely specifying and mining formal exception-handling specifications, as tackled by our previous work. Our key insight is that expected exception-handling behavior may be “conditional” or may need to accommodate “exceptional” cases.
Approach to Evaluating Exception Handling of Programs

Jiang Shujuan,Xu Baowen

DOI: https://doi.org/10.3969/j.issn.1003-7985.2007.04.010

2007-01-01

Abstract:To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph (EPG) that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity.According to the EPG, the exception handling code that never executes is identified;the points that are the most critical to controlling exception propagation are found;and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given;thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.
Exception handling in component composition with the support of middleware.

Yao-Dong Feng,Gang Huang,Yali Zhu,Hong Mei

DOI: https://doi.org/10.1145/1108473.1108493

2005-01-01

Abstract:ABSTRACTException handling is a practical and important way to improve the reliability of a software system. In component based software engineering, exceptions are usually handled by the developers of reusable components. However, many exceptions are dependent on the context of a component in the target system. Such exceptions are difficult and sometimes impossible to be handled at the stage of development of reusable components. On the other hand, we found out that many exceptions can be successfully handled by some special mechanisms of middleware. In this paper, an approach to handling the exceptions in the component composition with the support of middleware is proposed. We define an exception handling model complementary to the software architecture for identifying and analyzing the exceptions and taking the knowledge of supporting middleware into the decision of exception handling. The feasibility and effectiveness of the approach are demonstrated through a J2EE blueprint program.
Towards Architecture-Level Middleware-Enabled Exception Handling of Component-Based Systems.

Gang Huang,Yihan Wu

DOI: https://doi.org/10.1145/2000229.2000252

2011-01-01

Abstract:Exception handling is a practical and important way to improve the availability and reliability of a component-based system. The classical code-level exception handling approach is usually applied to the inside of a component, while some exceptions can only or properly be handled outside of the components. In this paper, we propose a middleware-enabled approach for exception handling at architecture level. Developers specify what exceptions should be handled and how to handle them with the support of middleware in an exception handling model, which is complementary to software architecture of the target system. This model will be interpreted at runtime by a middleware-enabled exception handling framework, which is responsible for catching and handling the specified exceptions mainly based on the common mechanisms provided by the middleware. The approach is demonstrated in JEE application servers and benchmarks.
Constructing Exception Handling Chains for Testing Java Virtual Machine Implementations

Bochuan Chen,Xiao Guo,Yuting Chen,Xiaofeng Yu,Lei Bu

DOI: https://doi.org/10.1002/smr.2562

2024-01-01

Abstract:The Java virtual machine (JVM) is the cornerstone of the Java platforms. A JVM's exception handling implementation interrupts, when the objective application encounters an exception (or an error), the normal execution of the application and performs specific handling tasks. However, little research has been done in systematically validating JVMs' exception handling implementations-test programs or even applications need to be carefully designed for throwing/catching exceptions at runtime; a JVM's exception handling implementation is also complicated, making it challenging to design tests for testing all of its functionalities. Inspired by the recent success of fuzz testing of compilers and JVM implementations, we introduce EHCBuilder, the first technique for fuzzing JVMs' exception handling implementations. The key idea is to construct exception handling chains, each of which abstracts a program's execution into a sequence of exception throwings, catchings, and/or handlings. A classfile seed can then be mutated into test programs with diverse exception handling chains, enabling (1) exceptions to be continuously thrown and caught at runtime, and (2) JVMs' exception handling implementations to be much more thoroughly tested. We have implemented EHCBuilder and evaluated EHCBuilder on popular JVM implementations including OpenJDK's HotSpot, Eclipse's OpenJ9, Azul's Zulu, and Oracle's GraalVM. Our results show that EHCBuilder can generate programs with very intricate exception handling chains and reveal differences among JVMs' exception handling implementations: Up to thousands of lines of source code in HotSpot's exception handling implementation are covered more than the original benchmarks; during 39 K iterations, EHCBuilder generates exception handling chains of different lengths, revealing 258 runtime differences. We classify the differences into four categories, and reveal a fast throw issue confirmed by HotSpot developers and another initCause issue confirmed by the OpenJ9 community.
EXTENDED JAVA COLLECTION FRAMEWORK BASED ON OBJECT-ORIENTED DATABASE

Lu Deng,Li Shanping,Zheng Chunzhao

DOI: https://doi.org/10.3969/j.issn.1000-386X.2011.01.041

2011-01-01

Abstract:Conventional data persistence technology is to store the object to relational database through object-relation mapping,but its easy-use performance and efficiency always remain problems.In this paper,we introduce a more convenient alternative with higher performance:i.e.,to store mass data to object-oriented database.However the use of object-oriented database may be not well known by quite a few programmers since it has not been commonly used at moment yet.Thus we propose an extended Java collection framework based on object-oriented database,through which the programmers can operate the object-oriented database as using common Java collection API.The performance of persistence is also enhanced compared with using common relational database.
Detecting Exception Handling Bugs in C++ Programs.

Hao Zhang,Ji Luo,Mengze Hu,Jun Yan,Jian Zhang,Zongyan Qiu

DOI: https://doi.org/10.1109/icse48619.2023.00098

2023-01-01

Abstract:Exception handling is a mechanism in modern programming languages. Studies have shown that the exception handling code is error-prone. However, there is still limited research on detecting exception handling bugs, especially for C++ programs. To tackle the issue, we try to precisely represent the exception control flow in C++ programs and propose an analysis method that makes use of the control flow to detect such bugs. More specifically, we first extend control flow graph by introducing the concepts of five different kinds of basic blocks, and then modify the classic symbolic execution framework by extending the program state to a quadruple and properly processing try, throw and catch statements. Based on the above techniques, we develop a static analysis tool on the top of Clang Static Analyzer to detect exception handling bugs. We run our tool on projects with high stars from GitHub and find 36 exception handling bugs in 8 projects, with a precision of 84%. We compare our tool with four state-of-the-art static analysis tools (Cppcheck, Clang Static Analyzer, Facebook Infer and IKOS) on projects from GitHub and handmade benchmarks. On the GitHub projects, other tools are not able to detect any exception handling bugs found by our tool. On the handmade benchmarks, our tool has a significant higher recall.
An Approach to Static Analysis of Exception Handling in C~(++)

JIANG Shu-Juan,XU Bao-Wen,SHI Liang,XIAO Yang

DOI: https://doi.org/10.3969/j.issn.1002-137x.2006.04.082

2006-01-01

Computer Science

Abstract:Exception handling in modern programming languages is a mechanism that can improve software robustness. Since the signature of an C~(++) function may not specify the set of exceptions that the function can propagate,it is neces- sary to figure out the exceptions that may be raised during executing program,the origins of the exceptions and their exception propagation paths.Unfortunately,in large programs,this exceptional information can be difficult,if not im- possible,to determine.Firstly,the paper presents a model that can describe the exception handling information for C~(++) exception handling mechanism,and applies the model to recursive functions.Then describes CETool,a static a- nalysis tool we have developed to provide exception-flow information for C~(+1) systems based on this model.The CETool provides the information related to the explicit exceptions.The information is helpful to support the improvements to the exception handling structure of a system and structure testing of a program.It also presents the implementation of CETool and its application.
A New Mutation Analysis Method for Testing Java Exception Handling

Changbing Ji,Zhenyu Chen,Baowen Xu,Ziyuan Wang

DOI: https://doi.org/10.1109/COMPSAC.2009.192

2009-01-01

Abstract:Java exception mechanism can effectively free a program from abnormal exits and help developers locate faults with the exception tracing stacks. It is necessary to verify whether the exception handling constructs are arranged appropriately. Some approaches have been developed to evaluate the test sets and improve the quality of them, so that they can raise more number of exceptions in programs. Mutation analysis is a practical method to evaluate the quality of test sets. This paper presents some new mutation operators for Java exception handling constructs. Moreover, equivalent mutants can be identified by our approach. A case study illustrates the effectiveness and characteristic features of these mutation operators.
Automatically Detecting Exception Handling Defects in Android Applications.

Linna Xie,Lu,Shunjie Ding,Yu Pei,Minxue Pan,Tian Zhang

DOI: https://doi.org/10.1145/3457913.3457940

2021-01-01

Abstract:Developers often neglect to handle exceptions, which leads to exception handling defects that affect the robustness of applications or even cause crashes. To improve the robustness of android applications while reducing the development burden of developers, we present Fixeh and Automatic Detection Tool, as an approach that can automatically detect exception handling defects related to external resources. By implanting exception control codes into the input application, Fixeh helps applications throw exceptions at the specified call position while running the UI test. During running the UI test, Automatic Detection Tool generates a limited number of exception trigger patterns by using suspicious call filtering algorithm and traversal algorithm. After collecting and analyzing the running results under these patterns, the exception handling defects will be detected. We evaluate our approach by applying it to detect anomalies in 6 different types of applications with stable operation. We conducted 1422 rounds of experiments under different exception triggering patterns, and we observed abnormalities in 517 rounds. A comparison with other related work shows that our approach can detect defects more effectively. Through the analysis of our experiments, we confirmed 39 exception handling defects related to external resources. Finally, we summarized three common types of defects from them.
Exception Handling in Workflow Management Systems-An Overview

Weiping Li,Yushun Fan

2003-01-01

Abstract:Workflow management system deals with the modeling and coordinated execution of business processes. These processes are often of long duration and may involving many executors, software and distributed resources. So there may exist potential exception when the workflow is running. After the Workflow Management System (WfMS) is deployed in a certain enterprise, the enterprise become increasingly dependent on it to carry on their daily business activities. Thus some kinds of exception handling method will be introduced into the WfMS to resolve the exception when the workflow is running. While the exception handling of workflow has received increasing attention in recent years. This paper first introduces the question of exception handing in WfMS with the definition, classification and resolution of exception handling. Based on the evaluation of existing research methods, we indicate the developing
Analysis and Implementation of Exception Processing Module of Embedded Software in Communication Field

Xiao He

2007-01-01

Abstract:Proper exception handling mechanism is an important means to guarantee the reliability and error-tolerance of embedded application system.In this paper,the relevant technologies of exceptions processing in embedded software design orienting communication applications are studied.Based on X86 and PowerPC hardware platforms,the running stack information is analyzed.An exception handling schema which is in common use in the communication application field is represented.And the schema's implementation is discussed based on the commercial operating system VxWorks.
Computational Error Handling As Aspects: A Case Study

Zhanqi Cui,Linzhang Wang,Huigen Liu,Xuandong Li

DOI: https://doi.org/10.1145/1509847.1509849

2009-01-01

Abstract:Computational error handling is vitally important in scientific computing programs. Traditional approaches tangle the error handling concerns with the primary functional codes. This paper describes our empirical study of using AspectJ to refactor a real-world Satellite Orbit Forecasting (SOF) system, and assesses the experiences gained from applying aspect-oriented techniques. The result shows that the AspectJ version improves the modularity and maintainability of the program by encapsulating computational error handling polices as aspects without noticeable compromise in performance.
An Approach to Analyzing Recursive Programs with Exception Handling Constructs.

Shujuan Jiang,Baowen Xu,Liang Shi

DOI: https://doi.org/10.1145/1147214.1147220

2006-01-01

Abstract:Exception handling in modern programming languages is a mechanism that can improve software reliability. Since the signature of an C++ function may not specify the set of exceptions that the function can propagate, it is necessary to figure out the exceptions that may be raised during executing program, the origins of them and their propagation paths. Unfortunately, in large programs that contain recursive functions, this exceptional information can be difficult, if not impossible, to determine. Therefore, the paper proposes a new static analysis approach to analyze C++ recursive functions with exception handling constructs. Firstly, it presents a model that can describe the exception handling information for a C++ single function. Then, it proposes a new method to compute the set of exception types that propagate from a recursive function. Finally, the limitations and the applications of the model are discussed.
Design and Implementation of a Exception Propagation Analysis Tool

JIANG Shu-juan,XU Bao-wen,JIANG Yuan-peng

2008-01-01

Computer Science

Abstract:Exception handling is a technology that tests and handles exception.Exception propagation induces a control flow other than the main control flow,so it changes the data flows,control flows of programs and the dependence relationshi Pbetween the structure elements of programs.For the analysis of C++ programs to be correct and precise,the flows induced by exception propagation must be properly analyzed.The paper describes the design and implementation of the CETool,an exception propagation analysis tool we have developed to provide exception propagation information for C++ systems.The CETool can effectively analyze the exception propagation of C++ program.It can provide the local information of the exception propagation of an exception,and also the whole information of exception propagation for the program.The information is helpful to analyze exception propagation,analyze exception propagation path,and support the improvements to the exception handling structure of a system.
Algorithm for Implementing Java Exception Mechanism in Static Compiler

曹志伟,杨克峤,王伟,周寻,杨珉

DOI: https://doi.org/10.3969/j.issn.1000-3428.2009.15.030

2009-01-01

Abstract:Compiling a Java program into native executable file statically is an alternative way of using Java VM(Virtual Machine) to mna Java. program dynamically. This paper introduces an algorithm to implement Java exception mechanism in a Java static compiler, and presents the implementation of this algorithm based on the Java Open64 open source compiler. The effectiveness of this algorithm is proved by the test with SPECjvm98 testsuite.
A Model of Flexible Exception Handing Facilitated by Polices and Contracts

Yan-Bin Peng,Gao Ji,Bei-Shui Liao,Cun-Hao Wang,Hang Guo

DOI: https://doi.org/10.1109/icmlc.2008.4620564

2008-01-01

Abstract:Due to the dynamic nature of virtual organization (VO), it is necessary that multi-agent system aimed to form and operate VO should be robust in cooperating process. We present a model of flexible exception handling facilitated by polices and contracts, in which the flexible evolvement process of exception handling is divided into three phases: exception analysis, plan generation, and plan deployment. On the one hand, contract signed by cooperative partners describes the cooperation process of the partners, and on the other hand, policies can be used to describe the way to handle exception happened during cooperating process. The three phrases and the import of polices makes the exception handling process more flexible, thus makes the MAS more robust.

Exception Handling Scheme of Java

Exception Handling Mechanism

On the Exception Handling of C++

An Efficient and Reliable Object-Oriented Exception Handling Mechanism

Making exceptions on exception handling

Approach to Evaluating Exception Handling of Programs

Exception handling in component composition with the support of middleware.

Towards Architecture-Level Middleware-Enabled Exception Handling of Component-Based Systems.

Constructing Exception Handling Chains for Testing Java Virtual Machine Implementations

EXTENDED JAVA COLLECTION FRAMEWORK BASED ON OBJECT-ORIENTED DATABASE

Detecting Exception Handling Bugs in C++ Programs.

An Approach to Static Analysis of Exception Handling in C~(++)

A New Mutation Analysis Method for Testing Java Exception Handling

Automatically Detecting Exception Handling Defects in Android Applications.

Exception Handling in Workflow Management Systems-An Overview

Analysis and Implementation of Exception Processing Module of Embedded Software in Communication Field

Computational Error Handling As Aspects: A Case Study

An Approach to Analyzing Recursive Programs with Exception Handling Constructs.

Design and Implementation of a Exception Propagation Analysis Tool

Algorithm for Implementing Java Exception Mechanism in Static Compiler

A Model of Flexible Exception Handing Facilitated by Polices and Contracts