Block chain smart contract test method based on metamorphic test
A technology of smart contracts and transformation testing, applied in software testing/debugging, error detection/correction, instruments, etc., can solve problems such as the inability to determine the correctness of a single test result, and the inability to completely solve the problem of test determination.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0031] In order to be able to understand more clearly the technical content of a metamorphosis testing method (Smart contract-MT) for blockchain smart contract security defects of the present invention, the present invention will be further described below in conjunction with the accompanying drawings and specific implementation cases. It should be pointed out that , the described examples are intended to facilitate the understanding of the present invention without any limitation requirements.
[0032] The flow chart of a metamorphosis testing method (Smartcontract-MT) oriented to blockchain smart contract security defects given by the present invention is as follows: figure 1 As shown, the first step is to obtain the codes of the functions and parameters called in the smart contract; the second step is to analyze the necessary attributes between the parameters in the smart contract according to the obtained functions and the corresponding parameters in the smart contract; the...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com