An Inter-procedural Static Testing Framework Based On Method Summary For Java

With the development of software, its quality is becoming more and more important. Effective software quality assurance has increasingly become an important part in software engineering. The software testing is the most approach to assure the software quality. The software testing can be divided into static testing and dynamic testing according to whether the source code is executed. Static testing is a kind of software testing without running the source code, which abstract and understand of source code or intermediate code, extract the properties of code and predict their run-time behavior and the state to complete the test.Method summary is the abstract of method information, which is related to the defect patterns in general. It includes pre-information, post-information and feature information. In this paper, based on the DTS_Java framework, we generate the global function call graph. According to global function calls, we obtain the logical orders of analysis program unit, to provide the basis for calculating the method summary. Finally, we add the calculation module of method summary into DTS_Java, and modify the existing defect detention algorithms to adapt to global analysis. In addition, this paper also designed the way of using extensible XML language to solve the problem about library method summary.Finally, we test ten open-source projects and prove the interprocedual analysis by the method summary can effectively decrease the false positive rate and false negative rate of the static testing.