基于错误传播上下文分析的软件错误定位方法分析-analysis of software error location method based on error propagation context analysis.docxVIP

哈尔滨工业大学工学硕士学位论文 哈尔滨工业大学工学硕士学位论文 -  PAGE 4 - - III - Abstract Along with the increasing scale of software system, it becomes more and more difficult to ensure the quality of the software. The probability of the software failure also increases. The software failure means that the software expected outcome is different from the actual outcome. After the software failure occurred, how to locate the faulty statements which contain bugs is what fault localization needs to solve. Now there are many excellent software fault localization techniques. However, they all ignore the coincidental correctness which means execution results of test cases that execute faulty statements indicate no failure information. The coincidental correctness is always caused by the fault propagation. Based on the above considerations, this paper divides the fault localization into two steps, including fault-related statements localization and fault comprehension. The research contents of this paper include: Firstly, in order to get the execution path information of the program as the input of subsequent modules, program instrumentation is needed. However, existing program instrumentation methods are too complex. In this paper, we use lexical analysis and syntax analysis to realize a simple and convenient program instrumentation method. Secondly, in order to do the fault-related statements localization, combined dependence network must be created. So it is necessary to do program dependence analysis and create program dependence graph and transfer it. In this paper, we realize the traditional method of the program dependence analysis. Based on this, we create program dependence graph, transfer some specific nodes and do the state specification. Thirdly, existing fault localization methods not only can not accurately locate the fault in most cases but also can not locate the fault-related statements. So we propose conditional probability, path probability and combined dependence probability to e