Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

An interrupt driving program runtime error detection method and system without missing report

A runtime error and program running technology, applied in error detection/correction, software testing/debugging, instruments, etc., to achieve a wide range of applications, reduce false positives, and improve analysis speed

Active Publication Date: 2019-02-26
北京轩宇信息技术有限公司
View PDF3 Cites 2 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 driving program runtime error detection method and system without missing report
  • An interrupt driving program runtime error detection method and system without missing report
  • An interrupt driving program runtime error detection method and system without missing report

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 without 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 an interrupt driving program running error detection method and system without missing report. The method comprises the following steps of: abstracting a program to be processed to obtain an abstract program expressed by an abstract numerical value; establishing a numerical abstraction set of shared variables according to the abstraction program; analyzing the shared variable numerical abstraction set to obtain an interrupt interference set; carrying out modular analysis according to the interrupt interference set to obtain a modular analysis result; according to the modular analysis result, travesing the abstract program to obtain a traversal result, and according to the traversal result, it is determined whether the program to be processed has a runtime error. Theinvention reduces the dependence of error detection on the experience and ability of testers during running, 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
IPC IPC(8): G06F11/36
CPCG06F11/3612
Inventor 陈睿贾春鹏余娜高栋栋高猛杨帆左万娟郭华郑小萌孙民
Owner 北京轩宇信息技术有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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