SolAR: Automated test-suite generation for solidity smart contracts[Formula presented]
Driessen,S. W. Di Nucci,D. Tamburri,D. A. van den Heuvel,W. J.
Driessen,S. W.
Di Nucci,D.
Tamburri,D. A.
van den Heuvel,W. J.
Abstract
Smart contracts have rapidly gained popularity as self-contained pieces of code, especially those run on the Ethereum blockchain. On the one hand, smart contracts are immutable, have transparent workings, and execute autonomously. On the other hand, these qualities make it essential to properly test the behavior of a smart contract before deploying it. In this paper, we introduce SOLAR, a tool and approach for Solidity Automated Test Suite GeneRation. SOLAR allows smart contract developers to generate test suites for Solidity smart contracts optimized automatically for branch coverage using either a state-of-the-art genetic algorithm or a fuzzing approach. It enables a novel way to handle blockchain operations—or ChainOps—from a pipeline perspective, entailing a larger-scale as well as more manageable and maintainable service continuity.
Description
Publisher Copyright: © 2023 The Author(s)
Date
2024-01
Journal Title
Journal ISSN
Volume Title
Publisher
Research Projects
Organizational Units
Journal Issue
Keywords
Blockchain, Smart contract, Solidity, Testing
Citation
Driessen, S W, Di Nucci, D, Tamburri, D A & van den Heuvel, W J 2024, 'SolAR : Automated test-suite generation for solidity smart contracts[Formula presented]', Science of Computer Programming, vol. 232, 103036. https://doi.org/10.1016/j.scico.2023.103036
License
info:eu-repo/semantics/openAccess