An interrupt-driven program runtime error detection method and system without false negatives
A technology for program operation and error detection, applied in error detection/correction, software testing/debugging, instruments, etc., to reduce the rate of false positives, improve universality, and widen the scope of application
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0056] In order to make the object, technical solution and advantages of the present invention clearer, the embodiments disclosed in the present invention will be further described in detail below in conjunction with the accompanying drawings.
[0057] refer to figure 1 , shows a flow chart of steps of a method for detecting errors during runtime of an interrupt-driven program without false negatives according to an embodiment of the present invention. Such as figure 1 , the runtime error detection method for interrupt-driven programs with no false negatives, including:
[0058] Step S101, performing abstract processing on the program to be processed to obtain an abstract program expressed by an abstract numerical value.
[0059] In this embodiment, variables can be extracted from the program to be processed, and the extracted variables can be transformed into abstract domains satisfying the set conditions; an abstract program expressed by abstract values can be determined a...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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