Automatic detection and correction method of codes

A technology of automatic detection and correction methods, applied in error detection/correction, software testing/debugging, instrumentation, etc., can solve problems such as limited error detection capability, high effort, low code coverage, etc., to optimize the code error search process. , the effect of improving the efficiency of error positioning

Inactive Publication Date: 2017-10-13
CHENGDU SIXIANG LIANCHUANG TECH CO LTD
View PDF3 Cites 7 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
  • Automatic detection and correction method of codes
  • Automatic detection and correction method of codes
  • Automatic detection and correction method of codes

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0013] 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.

[0014] One aspect of the present invention provides an automatic code detection and correction method. figure 1 It is a flow chart of the code automatic detection and correction method according to the embodiment of the present inventi...

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 an automatic detection and correction method of codes; the method comprises: monitoring a program to be detected; inputting error constraints to path constraint conditions when a key command is executed; detecting erred error constraints on a current operating path, and marking the error constraints; judging whether an external function has a corresponding function model according to its function name; if yes, judging whether parameters of the function are associated with signs; if yes, executing the function model, tracking sign transfer, and performing actual execution. The automatic detection and correction method of codes has the advantages that error location efficiency is improved at the premise of not decreasing code coverage, and a code error seeking process is optimized.

Description

technical field [0001] The invention relates to software debugging, in particular to a code automatic detection and correction method. 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 line ...

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/3644G06F11/366
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

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