A Method for Constructing Program Exception Propagation Model Based on Data Origination Technology

Abstract

The invention discloses a program exception propagation model construction method based on a data provenance technology. The construction of an exception propagation model includes three steps: constructing exception control flow diagrams of methods for the methods of a program, performing data flow analysis according to generated control flow diagrams, generating exceptional derived diagrams and exception handling action sequences, merging exceptional propagation diagrams of the methods according to calling relations among the methods of the program, and generating the exception propagation model of the whole program. The exception propagation model has rich expression ability, can express and show a process of software exception propagation evolution completely, can effectively assist developers to understand an exception handling process in the program, to analyze the problems existed in an exception handling mechanism, to support organizations of test cases in the exception handling process and to design a reasonable and effective exception handling scheme, and accordingly, software can have higher robustness.

Description

technical field [0001] The invention belongs to the technical field of software engineering, in particular to a method for analyzing abnormal flow and constructing an abnormal propagation model. Background technique [0002] Analyze the exception flow of the program and build an exception propagation model to describe the process of exception generation, propagation, evolution and handling in the program, which can help developers understand the exception handling process in the program and analyze the problems existing in the exception handling mechanism , to support the organization of test cases in the exception handling process, so as to design a reasonable and effective exception handling scheme and make the software more robust. [0003] At present, the anomaly propagation at home and abroad can be generally classified into two categories. One class focuses on the analysis and modeling of abnormal control flow. Jiang Shujuan from Southeast University and Xu Ba...

AI Technical Summary

Problems solved by technology

Therefore it is not possible to present a complete view of exception propagation

When analyzing the abnormality in the program, such as analyzing whether the resource is released after the abnormality occurs, whether the data is restored, and analyzing the impact of the abnormality propagation on the reliability of the system, etc., it will be subject to certain constraints

Images