Segmented symbol execution device and its working method

A symbolic execution, symbolic technology, applied in the field of automatic testing of symbolic execution equipment, can solve problems such as path explosion

Inactive Publication Date: 2011-12-21
BEIJING UNIV OF POSTS & TELECOMM
View PDF2 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0034] In view of this, the purpose of the present invention is to provide a novel structure-oriented program analysis device for software testing-segmented symbolic execution device and its working method, w

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
  • Segmented symbol execution device and its working method
  • Segmented symbol execution device and its working method
  • Segmented symbol execution device and its working method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0061] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments.

[0062] As we all know, a symbolic execution device is a program static analysis and automatic testing device for parsing an intermediate language program and performing symbolic execution in a virtual machine. Produces the effects of actual execution, only the results of symbolic execution. Figure 4 What is shown is the structural composition of an existing symbolic execution device, which will not be repeated here.

[0063] The essence of the segmented symbolic execution device of the present invention is a structurally improved symbolic execution device, which adopts PYTE intermediate language and a virtual machine capable of parsing PYTE language, and supports symbolic execution of target programs with complex data types and calling rela...

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

A segmented symbolic execution device and its working method, the device is equipped with: language translation, instruction pointer, instruction parsing and symbolic executor, symbolic object, symbolic memory, internal state, constraint solver and actual execution process control and interaction Modules such as controllers, using the PYTE language and a virtual machine capable of parsing the language, support symbolic execution of programs with complex data types and call relationships; and during symbolic execution, divide the IO attributes of function parameters and segment the program to ease The path explosion reduces the correlation between the symbolic execution time of a large program and its scale to a proportional correlation; it also avoids inaccurate results of symbolic segmental execution by combining actual execution; and solves the constraints on the path conditions in actual execution, and judges Whether it meets the execution conditions, improves the coverage of path traversal, and the accuracy of program analysis and test results, making the symbolic execution technology for large programs practical in the actual system operating environment.

Description

technical field [0001] The invention relates to a segmented symbol execution device with a novel structure and a working method thereof, which are used to solve the problem of path explosion during program testing, and belong to the technical field of automatic testing of symbol execution equipment in computers. Background technique [0002] Symbolic execution (symbolic execution) technology is a formalized automated testing technology for software and programs that is widely recognized in the research field. Symbolic execution technology was born in the 1970s. In recent years, this technology has become a software engineering theory. It may become the core method to solve the problem of automatic testing of software. [0003] The symbolic execution technology proposed by JC.King in 1976 made a groundbreaking contribution to the theory of automatic testing and became the most concerned formal software automatic testing method. Now it has become an important program analysis ...

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): G06F9/30G06F11/36
Inventor 张冬梅范文庆魏更宇钟金鑫安靖常晶
Owner BEIJING UNIV OF POSTS & TELECOMM
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