The Research And Implementation Of Path Sensitive Methods Summary In DTS

DTS(Defect Test System) is a static testing tool based on software defect model, which adopts method summary to do the inter-procedural analysis. However, there still exist certain false positives and false negatives, since the path information are missed in the method summary. This paper proposes a path-sensitive method summary to resolve the problem. The research contains the following three parts:(1)Innovation on the basis of the original summary concept and define a new summary model applies to record path information: Summary(PSF). In this model, a new method feature is defined:PSF(Path Sensitive Features). In order to abstract represent the generation methods, the paper defines the path constraint vector PX, and describes the nature, operation and application in summary generation(2)On the basis of summary model, generation and delivery algorithm are defined. Primary, this paper proposes the algorithm of data flow analysis basis on finite state machine. In this algorithm, the model of finite state machine{D, T, C} is defined, and the methods of FSM creating and state migration are defined. In order to further enhance the accuracy, some methods to deal with detail such so Alias Set are proposed. On the other hand, another algorithm named Reverse Data Flow Analysis to generate summary is proposed too.(3) The Summary is applied in memory/resource leak fault detection, and the state machine design is improved. The paper proposes a new method of state migration and expounds it in instance. In the case of Iterative path between the processes, the defect mode solution MLF_LOOP is proposed The paper is organized into seven sections:Section one introduces the research background and content. Section two represents the problem of detection with path-insensitive method summary. Section three proposes the model of path-sensitive method summary. Section four proposes the generation and delivery algorithm of method summary. Section five discusses the application of method summary in defect detection. Section six tests and verify the research by experiments. Finally, section seven carries out a summary and outlook.