Method and system for automatically generating dynamic breakpoints

An automatic generation and breakpoint technology, applied in software testing/debugging, etc., can solve problems such as heavy inspection burden for debuggers

Active Publication Date: 2013-03-13
INST OF COMPUTING TECH CHINESE ACAD OF SCI
View PDF3 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In general, the greater the number of expressions that need to be checked at

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
  • Method and system for automatically generating dynamic breakpoints
  • Method and system for automatically generating dynamic breakpoints
  • Method and system for automatically generating dynamic breakpoints

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0079] Specific embodiments of the present invention are given below, and the present invention is described in detail in conjunction with the accompanying drawings.

[0080] The selection and inspection of breakpoints is one of the key factors to determine the debugging efficiency. In the traditional debugging process, the above work is completed by the debugging personnel. Aiming at the program debugging process, the present invention proposes a method for automatically generating dynamic breakpoints aimed at weakening the influence of human factors on debugging efficiency and reducing the burden of debugging personnel to analyze and understand programs. The core of this method is to convert the program trajectory to be debugged into a special graphical representation, and automatically provide the breakpoint position and the set of expressions that need to be checked at this position by solving the minimum cut set of the graph.

[0081] The present invention takes the prog...

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 method and system for automatically generating dynamic breakpoints, wherein the system comprises a dynamic dependence graph creation module, a debugging range refinement module, a state-flow graph creation module, a dynamic breakpoint generation module and a debugging feedback collection module, wherein the dynamic dependency graph creation module is used for not only collecting execution examples of program statements, but also collecting execution sequences and dependency relationship between the examples by utilizing a dynamic instrumentation technique during the program execution process, so as to create a dynamic program dependence graph on the bases; the debugging range refinement module is used for extracting parts of the dynamic program dependence graph relevant with program failure descriptions by utilizing a program dynamic-slicing technique; the state-flow graph creation module is used for interchanging connection points and sides in the dynamic dependence graph output by the debugging range refinement module and transforming a debugging range into a state-flow graph; the dynamic breakpoint generation module is used for generating dynamic breakpoints and aggregations of expressions required being inspected at the breakpoints; and the debugging feedback collection module is used for collecting the results of judgments made by a user about the provided breakpoints and the aggregations of the expressions required being inspected at the breakpoints.

Description

technical field [0001] The invention relates to the field of computer debugging, in particular to a method and system for automatically generating dynamic breakpoints. Background technique [0002] Program debugging is the process of finding and reducing errors in computer programs. A typical commissioning process consists of three steps: [0003] 1) Reproduce the wrong execution process. [0004] 2) Set a check position, and check whether the program status at this position meets the design expectations. Wherein, checking the state of the program at a specified location is represented as checking the calculation results of a set of visible expressions at the location. [0005] 3) According to the inspection result of 2), select the next inspection location until the root statement that causes the program execution failure is located. [0006] The above process is a process of gradually converging the scope of error finding from the entire program execution track to the ...

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 INST OF COMPUTING TECH CHINESE ACAD OF SCI
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