Study On The Testing And Visualization Of Exceptional Flows In Java Programs

Exception handling mechanism is one of the most important methods for improving the reliability and robustness of software. It separates the error handling code from the normal code, which provides condition for programmer to develop more robust software. But the exception handling mechanism also introduces the new control flows and the new data flows in the program. Because the particularity of the control flows and the data flows, they are rarely covered in the white-box testing, which makes the error in the exception handling code hardly exclude. This paper studies the testing and visualization of the exceptional flow in Java programs. In static analysis section, the paper presents a recursive model for calculating the unhandled exception in the programs and then provides an algorithm for extracting the exception flow information in the programs based on the model. Simultaneously, in the static analysis section, the paper also provides the algorithms for visualizing the exceptional flow in the programs. In the dynamic testing section, the paper presents a method for testing the exception flow, which make use of Java debugger in the in the guidance of the idea of fault injection. Relevant experiments indicate that the method presented by the paper is feasible.