Intelligent contract test method based on symbolic execution and fuzziness

A smart contract and symbolic execution technology, applied in the blockchain field, can solve problems such as insufficient path coverage

Pending Publication Date: 2022-03-08
BEIHANG UNIV
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Fuzz testing is an effective automated vulnerability mining technology. The mainstream fuzz testing technology uses genetic algorithm to generate test cases, which is premature and leads to insufficient path coverage.

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
  • Intelligent contract test method based on symbolic execution and fuzziness

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0017] In order to clearly explain the present invention and make the purpose, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention are clearly and completely described below in conjunction with the drawings in the embodiments of the present invention, in order to Those skilled in the art can implement it by referring to the text of the description. The technology of the present invention will be described in detail below with reference to the accompanying drawings and specific embodiments.

[0018] This embodiment of the present invention proposes a smart contract testing method based on symbolic execution and fuzziness. The implementation process of the method includes:

[0019] S01. The user formulates the smart contract initial test case set according to the smart contract interface description, parameter type and other information;

[0020] S02. Encapsulate the initial ...

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 an intelligent contract test method based on symbolic execution and fuzziness. The method specifically comprises the following steps: S01, inputting an initial test case set of an intelligent contract by a user; s02, testing and recording are executed, execution path information and detailed execution information of the program are recorded, and the execution path information is put into the seed pool; s03, updating coverage information and reporting collapse; s04, systematic search is executed through symbols, and when it is found that a certain branch is not covered, a corresponding test case is generated and added into a test case set; s05, selecting seeds according to a seed selection strategy; s06, variation is carried out according to a seed variation strategy, and a new test case set is generated through variation; and S07, repeatedly executing the steps S02 to S06 until the user manually ends or when no new path is generated for a certain time, stopping the test.

Description

technical field [0001] The invention belongs to the technical field of blockchain, and in particular relates to a smart contract testing method based on symbolic execution and fuzziness. Background technique [0002] The blockchain ensures that the data on the chain is difficult to be tampered with, and the data is stored in each node, and the nodes vote to maintain consistency. Smart contract is one of the core technologies of blockchain, it is the consensus rule in multi-party participation scenarios, and smart contract is the center of value transmission. The reason why security issues have become more important than ever after the emergence of the blockchain is because smart contracts realize a kind of value transfer. Every number on the blockchain is a value, and the digital changes caused by each loophole are behind it. Huge loss of value. Fuzz testing is an effective automated vulnerability mining technology. The mainstream fuzz testing technology uses genetic algor...

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/36G06N3/12
CPCG06F11/3688G06F11/3684G06F11/3676G06N3/126
Inventor 王荣蔡维德
Owner BEIHANG UNIV
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