Code exception locating and processing method

A processing method and abnormal technology, applied in electrical digital data processing, instruments, calculations, etc., can solve problems such as limited error detection ability, high energy consumption, and low code coverage, so as to optimize the code error search process and improve error location efficiency effect

Inactive Publication Date: 2017-09-15
CHENGDU SIXIANG LIANCHUANG TECH CO LTD
View PDF3 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

But determining whether a bug detected by a static source code is a real bug takes a lot of effort
For the automatic detection and repair of software errors, the following solutions exist in the prior art, that is, do not care about the internal execution of the program to be tested, randomly generate use cases, and observe whether the program output is in line with expectations, but its defect is that the code coverage is low , so its error detection capability is 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
  • Code exception locating and processing method
  • Code exception locating and processing method
  • Code exception locating and processing method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0014] The following and accompanying appendices illustrating the principles of the invention Figure 1 A detailed description of one or more embodiments of the invention is provided together. The invention is described in connection with such embodiments, but the invention is not limited to any embodiment. The scope of the invention is limited only by the claims and the invention encompasses numerous alternatives, modifications and equivalents. In the following description, numerous specific details are set forth in order to provide a thorough understanding of the present invention. These details are provided for the purpose of example and the invention may be practiced according to the claims without some or all of these specific details.

[0015] One aspect of the present invention provides a method for locating and processing code exceptions. figure 1 It is a flow chart of a code exception location and processing method according to an embodiment of the present inventio...

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 provides a code exception locating and processing method. The method comprises the steps of generating a use case and then inputting an error constraint to a path constraint condition; solving a new path constraint condition and generating a use case triggering software errors; performing modeling on an external function and monitoring symbol transmission caused by the external function; and locating code errors through the symbol transmission. According to the code exception locating and processing method provided by the invention, on the premise of not reducing the code coverage rate, the error locating efficiency is improved, and a code error search process is optimized.

Description

technical field [0001] The invention relates to software debugging, in particular to a method for locating and processing abnormal codes. Background technique [0002] Software debugging occupies a considerable overhead in the overall software development. Although software companies have invested heavily in software debugging, serious errors will still be found after the software is released. Patching software bugs after release can still cause serious financial losses. Research has found that most of the software-related security incidents are caused by software errors introduced during the design or coding phase. But determining whether a bug detected by a static source code is a real bug takes a lot of effort. For the automatic detection and repair of software errors, the following solutions exist in the prior art, that is, do not care about the internal execution of the program to be tested, randomly generate use cases, and observe whether the program output is in li...

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/3636
Inventor 赖真霖文君
Owner CHENGDU SIXIANG LIANCHUANG TECH CO LTD
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