Improving Reliability of Smart Contracts and DApps by Applying Property-based and Model-based Test Methods to Different Test Levels

Kyeongsic Min, Jung-Won Lee, Byungjeong Lee

http://doi.org/10.5626/JOK.2019.46.8.763

Smart contract technology based on the blockchain enables transparent transactions and automated contract execution without third-party intervention. Ethereum provides Solidity and EVM (Ethereum Virtual Machine) that can be used to implement smart contracts. In addition, it can be used to create a DApp (Decentralized Application) without developing a new blockchain using smart contract. However, the source codes cannot be updated in smart contracts. Therefore, a lot of work is needed to fix even minor errors following deployment. Therefore, the source code should be thoroughly tested or analyzed prior to the deployment of the contract to ensure that it is free of defects. In this paper, we propose a method to identify the errors and verify the accuracy of smart contracts and DApps using dynamic testing methods. Toward this end, we defined the dynamic model needed in each test level and applied the current testing methodology, using property-based and model-based testing.