Research Of Exception Handling In Different Java Virtual Machine

With the popularity of the Internet,the rapid development of Java,and Java-related research is also increasing.Java is a reliability-driven language,especially in its exception handling mechanism,in Java,the developer will be required to deal with exceptions.The robustness of the software is closely related to the exception handling,so the study of exception handling is very practical.Java language specification for the exception handling mechanism gives strict constraints,but a variety of Java virtual machine implement-tations could be inconsistent,so the exception handling mechanism for the Java virtual machine consistency study is very necessary.This thesis presents a method for verifying the consistency of exception handling mechanisms in different Java virtual machine implementations,and implements the testing tools according to the design idea.The test method proposed in this thesis is to inject the exception code randomly into the Jimple code,then run the generated tests on different Java virtual machine implementations,compare and analyze the running results.Injection of exception code can be divided into two categories,were checked-exception and unchecked-exception,by combining the type of exception and the number of exception injection to generate different test cases.The experimental results based on the design and implementation of test tools shows that out approach can efficiently verify the consistency of two Java virtual machines(OpenJDK and gij)implemented in this thesis,and can optimize the test tools in the future.,by generate more test cases,optimize injection strategy or test more Java Virtual Machine implementations.