SuMo: A mutation testing approach and tool for the Ethereum blockchain

【Author】 Barboni, Morena; Morichetta, Andrea; Polini, Andrea

【Source】JOURNAL OF SYSTEMS AND SOFTWARE

【影响因子】3.514

【Abstract】Blockchain technologies have had a rather disruptive impact on many sectors of the contemporary society. The establishment of virtual currencies is probably the most representative case. Nonetheless, the inherent support to trustworthy electronic interactions has widened the possible adoption contexts. In the last years, the introduction of Smart Contracts has further increased the potential impact of such technologies. These self-enforcing programs have interesting peculiarities (e.g., code immutability) that require innovative testing strategies. This paper presents a mutation testing approach for assessing the quality of test suites accompanying Smart Contracts written in Solidity, the language used by the Ethereum Blockchain. Specifically, we propose a novel suite of mutation operators capable of simulating a wide variety of traditional programming errors and Solidity-specific faults. The operators come in two flavors: Optimized, for faster mutation testing campaigns, and Non-Optimized, for performing a more thorough adequacy assessment. We implemented our approach in a proof-of-concept work, SuMo (SOlidity MUtator), and we evaluated its effectiveness on a set of real-world Solidity projects. The experiments highlighted a recurrent low Mutation Score for the test suites shipped with the selected applications. Moreover, analyzing the surviving mutants of a selected project helped us to identify faulty test cases and Smart Contract code. These results suggest that SuMo can concretely improve the fault-detection capabilities of a test suite, and help to deliver more reliable Solidity code. (c) 2022 Elsevier Inc. All rights reserved.

【Keywords】Test automation; Mutation testing; Smart contract; Blockchain; Solidity

【发表时间】2022 NOV

【收录时间】2023-05-06

【文献类型】理论模型

【主题类别】

区块链技术-核心技术-智能合约