Dynamic and static combined interrupt drive program data race detection method

A technology of driver program and detection method, applied in the direction of program control device, program loading/starting, etc., can solve problems such as accuracy problems, and achieve the effect of improving accuracy rate, high degree of automation, and avoiding false alarms

Active Publication Date: 2014-10-08
NANJING UNIV
View PDF5 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] At present, there are still two bottlenecks in the data race detection of interrupt drivers: one is the accuracy of the results, which can avoid false positives wh...

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
  • Dynamic and static combined interrupt drive program data race detection method
  • Dynamic and static combined interrupt drive program data race detection method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0063] The technical scheme of the present invention will be described in further detail below with reference to the accompanying drawings.

[0064] refer to figure 1 , the present invention consists of three large functional components, wherein each functional component can be subdivided into several small functional components, a total of seven functional components, namely: shared resource detector, interrupt operation detector, RCFG generation device, IICFG generator, potential competition relationship predictor, dynamic verification executor, competition relationship sorter. Among them, the shared resource detector detects the shared resources in the source code, the interrupt operation detector detects all interrupt-related operations in the source code, and the RCFG generator builds on the basis of the shared resource detector and the interrupt operation detector Only the control flow graph related to shared resources, while the IICFG generator builds a control flow gr...

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 relates to a dynamic and static combined interrupt drive program data race detection method. According to the method, through a detection technology of a shared source, a control flow diagram generation technology, a data flow analysis technology and a simulator operational control technology, static analysis is carried out on a source program with a static method so that a potential data race sequence can be obtained, dynamic execution is carried out on the result of static analysis to verify authenticity of potential races, sorting is carried out according to severity of the potential races, and a test result report is obtained. An implemented tool of the method is used for testing an interrupt drive program, the real competitive relation related to interruption can be effectively detected, a series of potential competitive relations are provided for guidance according to the severity, working efficiency of a tester can be greatly improved, data race detection of an interrupt drive is achieved, safety and stability of an embedded system are ensured, and the reliability guarantee can be provided for the key safety fields with the requirement for highly stable embedded programs such as the spaceflight field and the medical field.

Description

technical field [0001] The invention relates to a test method for an interrupt driver, mainly relates to the data competition detection in an embedded system caused by an interrupt, and belongs to the cross technical fields of software engineering, software testing and embedded systems. Background technique [0002] Embedded systems are widely used in various fields, including automotive electronics, aerospace electronics, and medical electronics. These fields often have particularly high requirements for security and stability, and any system failure will lead to extremely serious consequences, such as the famous Therac-25 incident, which is an accidental keystroke in some special scenarios , leading to data races triggered by interruptions, and ultimately serious medical consequences. [0003] The stability and security of interrupt-driven embedded systems are of high importance, but errors in embedded system programs, especially their concurrency errors, are considered t...

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): G06F9/445
Inventor 王林章陈园军陈志李宣东
Owner NANJING 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

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