Method and system for detecting parallel program shared data class bug

A program-sharing, data-based technology, applied in error detection/correction, electrical digital data processing, software testing/debugging, etc., to solve problems such as misunderstanding, failure to eliminate loopholes, and long time interval between discovery and repair, etc. Achieving a wide range of applications

Active Publication Date: 2014-03-26
TSINGHUA UNIV
View PDF1 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

There are still the following problems with this approach: 1) Even after fairly adequate testing, there is still no guarantee that all vulnerabilities have been found; 2) Misinterpretation of a reported vulnerability may lead to th

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 detecting parallel program shared data class bug
  • Method and system for detecting parallel program shared data class bug
  • Method and system for detecting parallel program shared data class bug

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] Embodiments of the present invention are described in detail below, examples of which are shown in the drawings, wherein the same or similar reference numerals designate the same or similar elements or elements having the same or similar functions throughout. The embodiments described below by referring to the figures are exemplary only for explaining the present invention and should not be construed as limiting the present invention. On the contrary, the embodiments of the present invention include all changes, modifications and equivalents coming within the spirit and scope of the appended claims.

[0027] In the description of the present invention, it should be understood that the terms "first", "second" and so on are used for descriptive purposes only, and cannot be interpreted as indicating or implying relative importance. In the description of the present invention, it should be noted that unless otherwise specified and limited, the terms "connected" and "connect...

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 provides a method for detecting a parallel program shared data class bug. The method includes the steps of defining instant Fetter sets for dynamic examples of all instructions in software invariants, obtaining containing sets and obligation sets of the instant Fetter sets, conducting pruning on the containing sets and the obligation sets to obtain pruned results, storing the pruned results in an invariant database, detecting each instant Fetter set through a detection assembly to find out whether the first instant Fetter set which does not satisfy the corresponding containing set or the corresponding obligation set occurs or not, if yes, judging that the first instant Fetter set contains the bug and generating a violation report through the detection assembly, and suspending a thread which runs at present so that the detected bug can be prevented from running, wherein the software invariants refer to instruction sets with the pre-fixed execution sequence in a program. According to the method, the potential shared data class bug in the program can be automatically detected and prevented. The invention further provides a system for detecting the parallel program shared data class bug.

Description

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

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
Owner TSINGHUA UNIV
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