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

Program fault localization method based on failing execution trace

A positioning method and program error technology, which is applied in the field of software program error positioning detection, to achieve the effect of improving the effect, reducing the evaluation cost, and improving the efficiency of error positioning

Active Publication Date: 2017-06-23
晶至科技制衣(江苏)有限公司
View PDF10 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, existing SFL-based methods and their variants do not fully apply this prerequisite to improve the accuracy of error localization.

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 fault localization method based on failing execution trace
  • Program fault localization method based on failing execution trace
  • Program fault localization method based on failing execution trace

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] In order to describe the present invention more specifically, the technical solutions of the present invention will be described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0028] The fault localization method based on the spectrum analyzes the relationship between the program failure and the program spectrum through statistical analysis, so as to calculate the error suspiciousness of the program statement. In the code debugging phase, software engineers will sort out defective programs in descending order of suspiciousness. The SFL method (using the statement as the basic unit) can be described as figure 1 process. The SFL method can calculate each statement s in the tested program P i Su i , sort all the statements according to the suspiciousness, and obtain another error checking view P' of P. The software maintenance engineer will check the program statement set S in the ac interval one by one according to P' ac , un...

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 fault localization method based on a failing execution trace. A proper execution spectrum, i.e., the failing execution trace, of a failure test case is picked up, projection is carried out in the failing execution trace according to a statement suspicious degree sequence calculated by a specific model of an existing SFL (Spectrum-based Fault Localization) method, and fault statements are troubleshot in sequence according to statement suspicious degrees. Through a failing execution trace utility function, the failing execution trace is evaluated, the failing execution trace with a minimum function value is selected from all failing execution traces as a key failing execution trace, a statement suspicious degree sorting sequence in a traditional fault localization report is projected to the key failing execution trace to reconstruct a new program entity suspicious troubleshooting sequence, program entities are checked on the basis of the descending order of the suspicious degrees according to the new program entity sequence, and finally, a fault localization effect is improved. An experiment result indicates that compared with a traditional program spectrum-based software fault localization method, the method disclosed by the invention is characterized in that fault localization efficiency is obviously improved.

Description

technical field [0001] The invention belongs to the technical field of software program error location detection, and in particular relates to a program error location method based on a failure track. Background technique [0002] The continuous expansion of software system scale and increasing complexity have brought new challenges to software development and debugging techniques. Software debugging is an important means to improve software quality, and it is also an important task in the software development life cycle. Error location is a key step in software debugging, but practice shows that relying on manual implementation of program error location is a very boring, time-consuming and labor-intensive task. Therefore, in order to effectively improve the efficiency of software debugging, automatic software error localization has become a common goal pursued by both academia and industry. [0003] In recent years, scholars have proposed many methods for automatic softwa...

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
CPCG06F11/3676G06F11/3688G06F11/3692
Inventor 舒挺王磊黄明献
Owner 晶至科技制衣(江苏)有限公司
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