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

Active Publication Date: 2022-03-04
北京轩宇信息技术有限公司
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The technical problem of the present invention is to provide an interrupt-driven program runtime error detection method and system without missing negatives, aiming at solving the problem that there is currently no efficient means to help development and testing The personnel discover the problem of the numerical runtime error of the interrupt-driven program, reduce the dependence of the runtime error detection on the experience and ability of the tester, improve the safety requirements of software development and testing efficiency, and improve software security

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
  • An interrupt-driven program runtime error detection method and system without false negatives
  • An interrupt-driven program runtime error detection method and system without false negatives
  • An interrupt-driven program runtime error detection method and system without false negatives

Examples

Experimental program
Comparison scheme
Effect test

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...

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 method and a system for detecting errors during operation of an interrupt-driven program without false positives. The method includes: abstracting the program to be processed to obtain an abstract program expressed by an abstract value; establishing an abstract set of shared variable values ​​according to the abstract program; analyzing the abstract set of shared variable values ​​to obtain an inter-interruption interference set ; Perform modular analysis according to the inter-interruption interference set to obtain a modular analysis result; traverse the abstract program according to the modular analysis result to obtain a traversal result, and determine whether there is a runtime error in the pending program according to the traversal result . The invention reduces the dependence of error detection on testers' experience and ability during operation, improves the efficiency of software development and testing with high safety requirements, and improves the safety of software.

Description

technical field [0001] The invention belongs to the technical field of software error detection, and in particular relates to a method and system for detecting errors during runtime of an interrupt-driven program without missing reports. Background technique [0002] Runtime errors refer to the errors that occur during the running of the program. They are often related to the running state of the program and are only triggered under specific execution conditions. Traditional dynamic testing methods are difficult to cover all program execution paths and are easy to miss. Once the software runs wrong, it will seriously affect the system security. [0003] At present, the use of static analysis technology to detect software runtime errors is gradually being applied to the Internet industry. The advantage of static analysis technology is that it can analyze possible problems in the program without actually executing it. Programs in the Internet industry often have a large amoun...

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/3612
Inventor 陈睿贾春鹏余娜高栋栋高猛杨帆左万娟郭华郑小萌孙民
Owner 北京轩宇信息技术有限公司
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