The Design And Development Of A Customizable Program Dynamic Coverage Analysis Tool

Correctness is one of the most important properties of program, program analysis technology plays an important role in the verification of program correctness. With the development of information technology, the requirement of correctness is gradually increase, People pay more and more attention to program analysis technology. The program analysis includes the static analysis and the dynamic analysis,as the program becomes more and more complex, dynamic analysis method in the practical application is significantly more intuitive and efficient. As one of the dynamic analysis technique,the coverage analysis is contribute to find bugs in software and improve software quality.This article combines pile technology with code query technology,applied to the process of dynamic operation coverage analysis, to meet the specific needs of users.Use code query technology to positioning pile point and formation the instrumenting sentence. Use instrumenting technology to insert the detectors in the program. During the run-time, the program collect the operation information and the execution traces and state data coverage information through the detectors. Analyzing these information can help to better understand the program. However there are some shortages and limitation on recent instrumentation technology. Binary code instrumentation is unable to locate the statement level and the need to design a special instrumentation program. While the source code instrumentation can not meet user’s customization.This paper has addressed the follow issues:1 Implements a method that can collect covered information through code query, positioning the pile point, constructs the corresponding insert statement according to user requirements.2 Implement instrumentation time performance assessment, can collect instrumentation statements run time information, at the same time realize the statement coverage information collection and display.