Programming optimization method of executable program

An optimization method and technology for executing programs, applied in program control design, instrumentation, software testing/debugging, etc., can solve problems such as limited error detection ability, high effort, low code coverage, etc., to improve the efficiency of error localization, optimize The effect of the code error search process

Inactive Publication Date: 2017-10-10
CHENGDU SIXIANG LIANCHUANG TECH CO LTD
View PDF3 Cites 4 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
  • Programming optimization method of executable program
  • Programming optimization method of executable program
  • Programming optimization method of executable program

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 an executable program programming optimization method. figure 1 is a flowchart of an executable program programming optimization method according to an embodiment of the present inven...

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 programming optimization method of an executable program. The method includes the steps of when it is monitored that a key instruction of a program to be detected is executed, inputting error constraints in a path constraint condition; according to the address of an external function, utilizing API offered by instrumentation tools to obtain the name of an external function; conducting traversal search on paths, solving a constraint condition of a new path, and generating a use case triggering a software error; monitoring symbol transmission resulted from the external function, and locating code errors through the symbol transmission. The programming optimization method of the executable program, on the premise of not decreasing the code coverage rate, improves error locating efficiency and optimizes the search process of the code errors.

Description

technical field [0001] The invention relates to software debugging, in particular to an executable program programming optimization 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 ...

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): G06F9/45G06F11/36
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