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

A software fault location method and device based on program invariants

A software failure and variable technology, applied in software testing/debugging, instrumentation, error detection/correction, etc., to solve problems such as inaccurate positioning, false detection, and missed position detection

Active Publication Date: 2021-07-06
HARBIN INST OF TECH
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

If the learned invariants are too broad, the real cause of failure may not be included in the invariant violation candidate set, resulting in missed detection of defect locations; if the learned invariants are too narrow (missing some invariants), then May lead to a large number of false detections, unable to accurately locate the root cause of software failure

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
  • A software fault location method and device based on program invariants
  • A software fault location method and device based on program invariants
  • A software fault location method and device based on program invariants

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0048] In order to make the object, technical solution and advantages of the present invention clearer, the implementation manner of the present invention will be further described in detail below in conjunction with the accompanying drawings.

[0049] The types of program invariants, the quality of test cases, and error propagation all affect the effectiveness of fault location, and these influencing factors need to be considered comprehensively during the location process. In particular, there are still the following problems that need further analysis and resolution.

[0050] (1) How to automatically identify the program attributes needed in fault location, so that it has low computational complexity and ensures the effectiveness of fault location?

[0051] (2) How to select the test case set so that it can reduce the complexity of invariant analysis on the one hand and improve the effectiveness of positioning on the other hand?

[0052] (3) How to consider error state pro...

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 invariant software fault location method and device. The method includes: performing statement, value and logical expression level instrumentation on the source code of the target software, using a preset test case set to execute the source code after the instrumentation to obtain execution information; and aggregating the preset failure test case set class, and for each cluster, select the successful test case set that helps to distinguish the defect statement; learn the execution information of the optimal successful test case set, and obtain the program invariant set, including set type, truth phenotype and floating point type Scope invariant: According to the execution information of the failed test case set and the program invariant set to detect the invariant violation, obtain the suspicious statement set. Use dependency analysis to filter out invariant violation false detections caused by fault propagation, statistically analyze invariant violations at each statement, and calculate statement suspiciousness. The invention improves the accuracy of software fault location and overcomes the problem of missed detection of logical expression defect location.

Description

technical field [0001] The invention relates to the technical field of computer software, in particular to a software fault location method and device based on program invariants. Background technique [0002] Software systems often contain software defects, which reduce the reliability, usability and security of the software system. One of the most important tasks to fix a defect is to identify the location of the program element related to the defect, and then the programmer can modify the program according to the location of the suspicious program element and its program context to correct the defect. However, this process is very time-consuming and labor-intensive. Software debugging even accounts for 80% of the entire software overhead. Therefore, there is an urgent need for automated software fault location methods. [0003] In addition to directly supporting software developers, automated software error localization techniques are also used in automated program cor...

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
CPCG06F11/3684
Inventor 王甜甜许家欢王克朝苏小红
Owner HARBIN INST OF 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

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