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

Real-time stack-based program slicing method

A program slicing and stacking technology, which is applied in the field of real-time stack-based program slicing, can solve the problems of low precision and practicability, and achieve the effects of shortening the time of program development and maintenance, improving precision, and improving real-time performance

Inactive Publication Date: 2011-10-12
CHINA UNIV OF MINING & TECH
View PDF2 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] In order to overcome the deficiencies of the existing static program slicing with low accuracy and practicability, the present invention provides a program slicing method based on real-time stacks, which can use the stack trace information saved when the program exception is thrown to speculate on the execution of the program Trajectory, and exclude statements irrelevant to this execution during the slicing process, so as to achieve the purpose of reducing the slice size and improving the program slicing accuracy

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
  • Real-time stack-based program slicing method
  • Real-time stack-based program slicing method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] In order to facilitate slicing programs using real-time stack information, we first define the dependencies of the slicing process:

[0035] Definition 1 Control dependency: If the statements u and w in the program meet the following three conditions, then it is said that w directly controls and depends on u;

[0036] 1) There is a path P from u to w;

[0037] 2) Every node v except u and w on P, node w is its necessary backward node;

[0038] 3) Node w is not a necessary backward node of node u.

[0039] Definition 2 Control dependency graph G(N, E), N represents the node set corresponding to the statement in the program, E represents the edge set, where each edge u→w means w control depends on u.

[0040]Definition 3 Data dependency: If in the program, the statement u defines the variable v, w refers to the value of the variable v, and there is a path between u and w, and there is no redefinition of v on this path, then it is called w Direct data about variable v d...

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 relates to a real-time stack-based program slicing method which speculates the execution track of a program by utilizing stack tracing information saved when the program is thrown abnormally. By using the program slicing method, the real time performance of static program slicing in software development is greatly improved, the accuracy of the static program slicing is improved, the number of sentences contained in slicing results is reduced, and the time for developing and maintaining the program is effectively shortened.

Description

technical field [0001] The invention relates to a program slicing method in the software development process, in particular to a real-time stack-based program slicing method which can not only effectively process complex large-scale programs, but also improve static program slicing precision. Background technique [0002] As the scale of software increases day by day, traditional debugging techniques cannot effectively deal with complex and large programs. Large-scale application systems usually have hundreds of lines of code, and program developers are often unable to quickly understand the code in the program, which brings great difficulties to program debugging and maintenance. Program slicing is a program analysis technique that is used to decompose a large program into small pieces, delete some statements that are not related to the points of interest, and help developers extract interesting parts from them. Its concept and principle were first established in 1979 by M...

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
IPC IPC(8): G06F11/36
Inventor 姜淑娟张红昌靳蓉
Owner CHINA UNIV OF MINING & TECH
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