Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Program exception propagation model construction method based on data provenance technology

A technology of data origin and program anomaly, applied in the field of analyzing abnormal flow, to achieve the effect of enriching expression ability, optimizing design, and high robustness

Inactive Publication Date: 2013-09-04
WUHAN UNIV
View PDF1 Cites 9 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Program exception propagation model construction method based on data provenance technology
  • Program exception propagation model construction method based on data provenance technology

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0028] The present invention will be further described below in conjunction with the accompanying drawings and specific embodiments.

[0029] The invention proposes a method for constructing a program anomaly propagation model based on data origin technology, which is used to analyze a software program and generate an anomaly propagation model in the program. Data provenance technology has many applications in the database field and scientific workflow field, and can model the complete life cycle of data generation, processing, evolution, and extinction. Using the data origin model, it is possible to understand the process of data dissemination and evolution, trace the origin of data, and analyze the causes of data errors, etc. In the present invention, the application of the data origin technology and the construction of the program exception propagation model, the exception is regarded as a special data in the program, and the life cycle model of its generation, processi...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

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 Baowen f...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 贾向阳应时陈旭张立强
Owner WUHAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com