Unlock instant, AI-driven research and patent intelligence for your innovation.

Atomic violation defect detection method based on prediction and parallel verification strategies

A defect detection and verification strategy technology, applied in error detection/correction, software testing/debugging, instrumentation, etc., can solve problems such as limited detection efficiency and inability to detect unexposed potential defects, achieve a high degree of automation and avoid duplication , the effect of improving the detection efficiency

Active Publication Date: 2020-10-30
NAT UNIV OF DEFENSE TECH
View PDF3 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, these methods are limited to only detecting defects that can be triggered in the current execution, and cannot detect other unexposed potential defects, and multiple defects corresponding to the same defect are intertwined, so the detection efficiency is still limited

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
  • Atomic violation defect detection method based on prediction and parallel verification strategies
  • Atomic violation defect detection method based on prediction and parallel verification strategies
  • Atomic violation defect detection method based on prediction and parallel verification strategies

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0040] The present invention will be further described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0041] In order to illustrate the technical scheme of the present invention more fully, some definitions of the present invention are as follows:

[0042] The Happen-before relationship refers to: locks and other synchronization measures (such as fences, signals, etc.) in multi-threaded programs restrict certain operations to be performed in a fixed order and are not affected by thread scheduling. This fixed execution order relationship Called the happen-before relationship.

[0043] Thread interleaving means that during the execution of a multi-threaded program, due to thread scheduling, different threads alternate during execution, so the actual execution order of codes in different threads is uncertain. Interleaving (interleaving) is used to represent the specific interleaving and execution order of a group of threads, and is 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
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an atomic violation defect detection method based on prediction and parallel verification strategies, which comprises the following steps of: taking candidate interleaving as asubstitute of defect interleaving in non-defect execution and representing a potential triggers defect; executing the target program, dynamically recording execution information of the program, identifying candidate interleaving from the recorded information and predicting potential defect interleaving; removing candidate interlaces which cannot be converted into defect interlaces due to the happen-before relationship through a pruning technology, and combining the candidate interlaces which do not interfere with each other through a grouping technology; and converting candidate interleavinginto target defect interleaving through dynamic runtime control thread scheduling, and if conversion succeeds and the defect is triggered, reporting the defect. The method has the advantages of simpleprinciple, high automation degree, capability of improving the detection efficiency and the like.

Description

technical field [0001] The invention mainly relates to the technical field of software safety detection, in particular to an atomic violation defect detection method based on prediction and parallel verification strategies. Background technique [0002] The atomicity violation defect means that in a multi-threaded program, when a code block that should be executed sequentially in one thread is inserted and executed by another concurrent thread, the atomicity of the code block will be destroyed, resulting in an atomicity violation. Atomicity violations are widespread in multi-threaded programs because developers are accustomed to thinking sequentially and often assume atomicity of code blocks without using proper synchronization measures. Among many concurrency defects, atomic violation defects are the most common and important type, and about 70% of known non-deadlock concurrency defects belong to atomic violation defects. [0003] Such as figure 1 As shown, it is a simpli...

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/3612Y02P90/30
Inventor 王鹏飞卢凯周旭唐勇喻波杨强解炜
Owner NAT UNIV OF DEFENSE TECH