Block chain smart contract test method based on metamorphic test

Abstract

The invention discloses a block chain smart contract test method based on a metamorphic test, and belongs to the field of software engineering. Comprising the following steps: step 1, analyzing a called function and a code of a parameter thereof based on a smart contract; 2, analyzing necessary attributes among the intelligent contract parameters according to the called function and the corresponding parameters; step 3, determining a metamorphic relationship (MRs) according to a relationship between input and output in the necessary attributes, wherein the metamorphic relationship comprises an input metamorphic relationship and an output metamorphic relationship; and step 4, generating an original test case by using a random test method, generating a subsequent test case according to input relationship, respectively running the two groups of test cases in the smart contract, and verifying the correctness of the result by judging whether the output result meets the corresponding output relationship. According to the method, the oracle problem in the smart contract test is relieved while the security defect of the smart contract is tested, and the effectiveness and advantages of the method are verified by performing a test experiment on the existing smart contract vulnerability.

Description

technical field [0001] The invention belongs to the technical field of metamorphosis testing in software testing, and relates to a metamorphosis testing method for blockchain smart contract security defects Background technique [0002] Ethereum smart contracts (autonomous programs that run on the blockchain) often control financial and intellectual property transactions. Due to the vital role they play, smart contracts require a complete, comprehensive and effective testing methodology. In software testing, an ideal test oracle can give a definite judgment on whether the test result is correct or not. However, this ideal test decision is usually not easy to obtain, or the cost of obtaining it is far beyond the value of the software itself. This problem is called the test oracle problem. At present, the test judgment problem has become the bottleneck restricting the development of software testing technology. Metamorphic testing determines whether the test cases are execu...

AI Technical Summary

Problems solved by technology

Although this method cannot determine the correctness of a single test result, that is, it cannot completely solve the problem of test judgment, but when the transformation relationship is not satisfied, it can be determined that there must be a fault in the software under test.

Images