Interprocedural static slice extracting method based on idUCf quinary structure

An extraction method and inter-procedural technology, applied in the field of inter-procedural static slice extraction based on the idUCf five-element structure, can solve the problems of large computer time and space and low efficiency of slice extraction, reduce time and space complexity, and avoid calculation Effect

Active Publication Date: 2015-06-10
SHANGHAI PRECISION METROLOGY & TEST RES INST
View PDF3 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The problem solved by the present invention is that the existing slice calculation method occupies a large amount of computer time and space, and the slice extraction efficiency is low; in order to solve the problem, the present invention provides a static slice extraction method between processes based on the idUCf five-element structure

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
  • Interprocedural static slice extracting method based on idUCf quinary structure
  • Interprocedural static slice extracting method based on idUCf quinary structure
  • Interprocedural static slice extracting method based on idUCf quinary structure

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] The following specific examples further illustrate the present invention.

[0028] The present invention provides a method for extracting inter-procedural static slices based on the idUCf five-element structure. The static slice is a set composed of some statements and control predicates in the program. It includes all the statements that may affect the variable of interest, and considers all the statements in the program. possible execution paths. According to the different slicing directions, it can be divided into forward slicing and backward slicing. Forward slicing refers to the collection of all statements affected by the value of the variable of interest; backward slicing refers to the collection of all statements in the program that can affect the value of the variable of interest. This article describes backward slicing.

[0029] The present invention provides a method for extracting static slices between processes based on the idUCf five-element structure, c...

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 an interprocedural static slice extracting method based on an idUCf quinary structure. The extracting method comprises the following steps: expressing static slices in a procedure according the type of variables and the positions of the static slices, and establishing an expression; according to the assignment values of the variables, performing backward type searching in the expression; extracting the static slices of which the variable values are equal to the assignment values. The extracting method disclosed by the invention can increase the utilization ratio of computer spaces and times, and improves the extracting efficiency of the slices.

Description

[0001] technical field [0002] The invention relates to the field of computer program analysis, in particular to an inter-process static slice extraction method based on the idUCf five-element structure. Background technique [0003] Program slicing technology is an important program analysis and understanding technology, which is widely used in program debugging, testing and software maintenance. Its principles and methods first appeared in Mark Weiser's doctoral dissertation. Weiser defined program slicing according to the iterative solution of the data flow equation, and proposed a program slicing method based on the control flow graph (Control Flow Graph, CFG) in the calculation process. Algorithm, but this method consumes a lot of time and space, and the accuracy of the calculated program slice is not very good. K.J.Ottenstein et al. introduced a graph accessibility algorithm based on Program Dependence Graph (PDG) to calculate intra-procedural slices, but this algori...

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 SHANGHAI PRECISION METROLOGY & TEST RES INST
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap