Smart contracts software metrics: A first study

Author:

Tonelli RobertoORCID,Pierro Giuseppe Antonio,Ortu MarcoORCID,Destefanis GiuseppeORCID

Abstract

Smart contracts (SC) are software programs that reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain. They are ruled by the blockchain infrastructure with the intent to automatically implement the typical conditions of traditional contracts. Programs must satisfy context-dependent constraints which are quite different from traditional software code. In particular, since the bytecode is uploaded in the hosting blockchain, the size, computational resources, interaction between different parts of the program are all limited. This is true even if the specific programming languages implement more or less the same constructs as that of traditional languages: there is not the same freedom as in normal software development. The working hypothesis used in this article is that Smart Contract specific constraints should be captured by specific software metrics (that may differ from traditional software metrics). We tested this hypothesis on 85K Smart Contracts written in Solidity and uploaded on the Ethereum blockchain. We analyzed Smart Contracts from two repositories “Etherscan” and “Smart Corpus” and we computed the statistics of a set of software metrics related to Smart Contracts and compared them to the metrics extracted from more traditional software projects. Our results show that generally, Smart Contract metrics have more restricted ranges than the corresponding metrics in traditional software systems. Some of the stylized facts, like power law in the tail of the distribution of some metrics, are only approximate but the lines of code follow a log-normal distribution which reminds us of the same behaviour already found in traditional software systems.

Funder

Italian Ministry of University and Research

Fondazione di Sardegna

Publisher

Public Library of Science (PLoS)

Subject

Multidisciplinary

Reference75 articles.

1. Smartinspect: solidity smart contract inspector;S. Bragagnolo;2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE),2018

2. Formalizing and securing relationships on public networks;N. Szabo;First monday,1997

3. Smart contracts vulnerabilities: a call for blockchain software engineering?

Cited by 7 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Leveraging Large Language Models for Automatic Smart Contract Generation;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02

2. Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (PoS) Focus;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12

3. Complex Systems Oriented Approach for dApps Analysis;2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops);2024-03-11

4. Smart Contracts’ Upgradability for Flexible Business Processes;Lecture Notes in Business Information Processing;2024

5. Parallelising semantic checking in an IDE: A way toward improving profits and sustainability, while maintaining high-quality software development;Acta Universitatis Sapientiae, Informatica;2023-12-01

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3