Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm
【Author】 Ji, Shunhui; Zhu, Shaoqing; Zhang, Pengcheng; Dong, Hai; Yu, Jianan
【Source】IEEE TRANSACTIONS ON RELIABILITY
【影响因子】5.883
【Abstract】Smart contracts are commonly deployed for safety-critical applications, the quality assurance of which has been a vital factor. Test cases are standard means to ensure the correctness of data flows in smart contracts. To more efficiently generate test cases with high coverage, we propose an improved genetic algorithm-based test-case generation approach for smart contract data flow testing. Our approach introduces the theory of particle swarm optimization into the genetic algorithm, which reduces the influence brought by the randomness of genetic operations and enhances its capability to find global optima. A set of 30 real smart contracts deployed on Ethereum and GitHub is collected to perform the experimental study, on which our approach is compared with three baseline approaches. The experimental results show that, in most cases, the coverage of the test cases generated by our approach is significantly higher than the baseline approaches with relatively lower numbers of iterations and lower execution time.
【Keywords】Testing; Smart contracts; Genetic algorithms; Blockchains; Genetics; Statistics; Sociology; Data flow testing; genetic algorithm; particle swarm optimization algorithm; smart contract; test-case generation
【发表时间】
【收录时间】2022-06-03
【文献类型】实证性文章
【主题类别】
区块链技术-核心技术-智能合约
【DOI】 10.1109/TR.2022.3173025
评论