Dynamic Slicing System Based on Program Execution Trajectory

A program execution and trajectory technology, applied in the field of dynamic slicing system based on program execution trajectory, can solve the problems of low efficiency and precision

Inactive Publication Date: 2016-01-20
CHINA UNIV OF MINING & TECH
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In order to overcome the low efficiency and precision of the existing dynamic slicing algorithm, the present invention provides a dynamic slicing method based on the program execution trajectory. The dynamic slicing system performs slicing according to the stack trace. Program execution trajectory, find out the statements involved in the execution; while recording the program execution trajectory, calculate the control dependencies of the program to obtain program slicing. In the process of program slicing, there is no need to backtrack the program, which greatly improves the efficiency of the algorithm , which improves the precision of slicing according to the definition reference information of control dependencies and variables

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
  • Dynamic Slicing System Based on Program Execution Trajectory
  • Dynamic Slicing System Based on Program Execution Trajectory
  • Dynamic Slicing System Based on Program Execution Trajectory

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0046] In order to facilitate slicing programs using program execution trajectories, we first define the dependencies of the slicing process:

[0047] 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;

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

[0049] 2) From every node v on P except u and w, node w is its necessary backward node;

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

[0051] 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, and each edge represents w control depends on u.

[0052] 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 varia...

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 dynamic slicing system based on the execution tract of a program, which comprises functions as follows: acquiring execution path information of the program, statically analyzing a class file of the Java, analyzing the attached variable set of each sentence of each sequence in the execution track of the program, acquiring a direct control dependence junction point of each sentence in a source program, executing additional control dependence of each sentence of each sequence in the execution tract of the program and dynamically slicing the process internal program of the Java. Retrospection of the program is not required during program slicing; efficiency of algorithm is greatly improved; and precision of the program slicing is advanced according to a control dependence relationship and definition reference information of variable.

Description

technical field [0001] The invention relates to a method for program slicing in the process of software development, in particular to a dynamic slicing system based on program execution track that can not only effectively process complex large-scale programs but also improve 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 ...

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 Patents(China)
IPC IPC(8): G06F11/36
Inventor 姜淑娟王兴亚李海洋张艳梅李威
Owner CHINA UNIV OF MINING & TECH
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