The Importance of Testing in the Early Stages of Smart Contract Development Life Cycle

被引:3
作者
Sanchez-Gomez, N. [1 ]
Morales-Trujillo, L. [1 ]
Gutierrez, J. J. [1 ]
Torres-Valderrama, J. [1 ]
机构
[1] Univ Seville, Escuela Tecn Super Ingn Informat, Web Engn & Early Testing IWT2 Grp, Ave Reina Mercedes S-N, Seville 41012, Spain
来源
JOURNAL OF WEB ENGINEERING | 2020年 / 19卷 / 02期
关键词
Blockchain; Smart contract; Model-based software development; Early testing;
D O I
10.13052/jwe1540-9589.1925
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The use of smart contract augurs a world without intermediaries because the code and the agreements contained therein exist across a distributed, decentralized blockchain network. In software engineering, this collaboration is usually represented by using business process models and smart contracts can be used to implement business collaborations in general and interorganizational business processes. The validation of this contract and the assurance of its quality are critical for its right application. Early testing in smart contract definition is the fact of this paper. The paper discusses the possibility to use transformation protocols to obtain derived artefacts like test case definitions and smart contract code scaffolds. Generation of derived artefacts significantly reduces the number of defects before deploying the smart contract code in the blockchain network. Transformations protocols are created using model-based software development and modelling techniques. This approach allows to simplify and improve the management and execution of collaborative business processes. This would allow, in addition, the application of systematic mechanisms to evaluate and validate the smart contract and, particularly, the application of early testing techniques which would help to reduce the number of defects and, ultimately, the cost of the final review.
引用
收藏
页码:215 / 242
页数:28
相关论文
共 54 条
[1]  
Achour C.B., 1998, NAT LANG INF SYST WO
[2]  
[Anonymous], 1990, Software Testing Techniques
[3]  
[Anonymous], 2000, Writing effective use cases
[4]  
[Anonymous], 2002, ACM Transactions on Internet Technology (TOIT)
[5]  
[Anonymous], 1981, Software Engineering Economics
[6]  
Bialy M, 2017, ADV TOP INF SECUR, P39, DOI 10.1016/B978-0-12-803773-7.00003-6
[7]  
Binder R., 2000, AW OBJ TECHNOL S
[8]  
Buterin Vitalik, 2014, White Paper, V3, P37
[9]  
Chainlink, 2019, INT CONN UNL SMART C
[10]   Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules [J].
Choudhury, Olivia ;
Rudolph, Nolan ;
Sylla, Issa ;
Fairoza, Noor ;
Das, Amar .
IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, :963-970