Symbol execution optimization method based on partial solution Cache and reuse

A technology of symbolic execution and optimization method, which is applied in the direction of software testing/debugging, etc., can solve the problem of low efficiency of symbolic execution, achieve the effect of improving symbolic execution efficiency, improving Cache hit rate, and improving efficiency

Pending Publication Date: 2022-07-05
NAT UNIV OF DEFENSE TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The technical problem to be solved by the present invention is: aiming at the problem of low efficiency of symbolic execution, the Cache hit rate can be generally and effectively improved, thereby improving the efficiency of symbolic execution in the test case generation process. The present invention provides a method based on partial solution Caching Executing optimized methods with reused symbols

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
  • Symbol execution optimization method based on partial solution Cache and reuse
  • Symbol execution optimization method based on partial solution Cache and reuse
  • Symbol execution optimization method based on partial solution Cache and reuse

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] The present invention will be further described below with reference to the accompanying drawings and specific preferred embodiments, but the protection scope of the present invention is not limited thereby.

[0037] like figure 1 As shown, this embodiment provides a symbol execution optimization method based on partial solution caching and reuse, including steps:

[0038] Step S1. When using symbolic execution to analyze the program under test to generate a test case, collect path constraints in the symbolic execution process;

[0039] Step S2. Judging whether the collected path constraints can hit the current Cache, if it hits, it returns to execute step S1, and if it does not hit, it goes to execute step S3;

[0040]Step S3. Solve the missed path constraint by the constraint solver, record the partial solution and the final solution obtained by the solution, and go to step S4;

[0041] Step S4. Store the final solution of the path constraint and the record in the C...

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 symbolic execution optimization method based on partial solution Cache and reuse, and the method comprises the steps: S1, collecting path constraints in a symbolic execution process when a tested program is analyzed through symbolic execution to generate a test case; s2, judging whether the collected path constraint can hit the current Cache or not, and if yes, returning to the step S1; if not, turning to the step S3; s3, solving a missed path constraint by a constraint solver, and recording a part of solutions obtained by solving and a final solution; and S4, storing the path constraint and the final solution into the Cache, correspondingly storing the partial solution and the constraint into the current Cache according to the matching relationship between the partial solution and the atomic constraint, and returning to the step S1. According to the method, the Cache hit rate can be improved by fully utilizing partial solutions, the symbol execution efficiency in the test case generation process is effectively improved, and the universality is high.

Description

technical field [0001] The present invention relates to the technical field of symbol execution in software automatic testing, in particular to a symbol execution optimization method based on partial solution caching and reuse. Background technique [0002] Software testing finds vulnerabilities in software by constructing as many test cases as possible, and is an integral part of the modern software development process. At present, the scale of most software is quite large, and it is almost impossible to construct test cases manually only by humans. Therefore, how to automatically generate test cases is a very important problem in software testing. Symbolic execution is a technical means that can automatically generate test cases. Symbolic execution symbolizes the input and collects path conditions while executing the program. When a path is explored, the collected path conditions will be solved by the constraint solver. If the path conditions are satisfiable, the constrai...

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/3684G06F11/3668
Inventor 陈振邦王戟马科林刘坤林帅子琦毛晓光董威李姗姗文艳军陈立前刘万伟尹良泽
Owner NAT UNIV OF DEFENSE TECH
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