A method and apparatus for testing an intelligent contract

A smart contract and collection technology, applied in the field of information processing, can solve the problems of not being able to support multi-file smart contract analysis, not being able to locate logical risks, etc.

Inactive Publication Date: 2019-03-22
FUJITSU LTD
View PDF6 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Traditional methods can detect logical risks, but cannot locate logical risks
Moreover, traditional methods on smart contract structure analysis only support a single file, but cannot support multi-file smart contract analysis

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
  • A method and apparatus for testing an intelligent contract
  • A method and apparatus for testing an intelligent contract
  • A method and apparatus for testing an intelligent contract

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] Exemplary embodiments of the present disclosure will be described below with reference to the accompanying drawings. In the interest of clarity and conciseness, not all features of an actual implementation are described in this specification. It should be understood, however, that in developing any such practical embodiment, many implementation-specific decisions must be made in order to achieve the developer's specific goals, such as meeting those constraints related to the system and business, and those Restrictions may vary from implementation to implementation. Moreover, it should also be understood that development work, while potentially complex and time-consuming, would at least be a routine undertaking for those skilled in the art having the benefit of this disclosure.

[0024] Here, it should be noted that in order to avoid obscuring the present disclosure due to unnecessary details, only the device structure and / or processing steps closely related to the solu...

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 method and apparatus for testing an intelligent contract are disclosed, wherein the method for testing the intelligent contract includes detecting a logical risk in the intelligent contract using anopcode for detecting and locating the logical risk, and detecting a logical risk in the intelligent contract using an opcode for detecting and locating the logical risk. Locating at least one function in the smart contract containing the detected logical risk based on the localization information in the opcode for detecting and locating the logical risk; And testing the smart contract based on the at least one function. According to embodiments of the present disclosure, it is possible to test smart contracts more pertinently.

Description

technical field [0001] The present disclosure relates to the field of information processing, in particular to a method and device for testing smart contracts that can test smart contracts more specifically. Background technique [0002] The development of applications based on the Ethereum blockchain is becoming more and more popular, however, there are some serious attacks on smart contracts on the Ethereum blockchain. For blockchain application developers, the security of smart contracts is becoming more and more important. Traditional methods can detect logical risks, but cannot locate logical risks. Moreover, traditional methods on smart contract structure analysis only support a single file, but cannot support multi-file smart contract analysis. Meanwhile, less information exists on how to generate target test cases more efficiently. Contents of the invention [0003] A brief summary of the present disclosure is given below in order to provide a basic understandin...

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 & AuthorityApplications(China)
IPC IPC(8): G06Q20/38
CPCG06Q20/382
Inventor周恩策皮冰锋华松孙俊
OwnerFUJITSU LTD