Smart contract testing method based on path coverage sufficiency criterion

A path coverage test and smart contract technology, applied in the computer field, can solve the problems of only detecting a limited number of known vulnerabilities and tools cannot detect them, so as to improve the effect of vulnerability detection and reduce labor costs
CN110046089AActive Publication Date: 2019-07-23SOUTH CHINA NORMAL UNIVERSITY +1
3 Cites 17 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
SOUTH CHINA NORMAL UNIVERSITY
Publication Date
2019-07-23

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a smart contract test method based on a path coverage sufficiency criterion. The method comprises the following steps: step 1, inputting byte codes of a smart contract and ABIsof the smart contract; step 2, generating a control flow chart according to the byte code; step 3, using an EPP algorithm for analyzing the control flow chart, finding out blocks needing instrumentation, and conducting instrumentation; step 4, deploying the instrumented smart contract on the trace; and step 5, generating a test case set meeting requirements according to a path coverage test sufficiency criterion. Compared with other technologies for analyzing the source code, the byte code of the smart contract is analyzed, and the method is more efficient. According to the method, the test case is automatically generated for the smart contract, whether the sufficient test case set is generated or not is judged according to the adequacy criterion of path coverage, errors possibly existingin the smart contract code are fully exposed as much as possible, the vulnerability detection effect is improved, and the labor cost is reduced.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the field of computer technology, in particular to a smart contract testing method based on path coverage sufficiency criteria. Background technique

[0002] Smart contracts are programs that run on top of blockchain consensus protocols to allow people to come to an agreement while minimizing trust. Once the smart contract is deployed, the contract content is open, transparent, non-tamperable, and automatically executed. But precisely because of the non-tamperable nature of the smart contract, if the smart contract fails to detect loopholes or logic errors in time before deployment, it may make mistakes or be maliciously used by bad people, causing people's property losses, for example: the loopholes in The DAO contract caused Lost $60 million. In order to avoid errors or loopholes in the deployed smart contracts and ensure the safety of people's property, the testing of smart contracts is very important.

[0003] Existing s...

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