Article
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
Author/s | Sánchez Gómez, Nicolás
![]() ![]() ![]() ![]() ![]() ![]() Torres Valderrama, Jesús ![]() ![]() ![]() ![]() ![]() ![]() ![]() García García, Julián Alberto ![]() ![]() ![]() ![]() ![]() ![]() ![]() Gutiérrez Rodríguez, Javier Jesús ![]() ![]() ![]() ![]() ![]() ![]() ![]() Escalona Cuaresma, María José ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2020 |
Deposit Date | 2022-06-07 |
Published in |
|
Abstract | Blockchain technology promises to spark a real revolution. One of most important concepts
associated with this technology is smart contracts, which enable the automatic execution of agreements and
augur a world without ... Blockchain technology promises to spark a real revolution. One of most important concepts associated with this technology is smart contracts, which enable the automatic execution of agreements and augur a world without intermediaries. The conditions and rules of ‘‘contracts’’ are established in a computer codes and trust is enforced by consensus among the participants. One relevant feature associated with smart contract is the immutability property, which establishes the non-alteration of blockchain network data after the clauses of the contract are been approved by all parties or entities involved. For this reason, smart contract development requires more effort and care than the development of other common programs. They require systematic mechanisms to collect requirements and functional specifications. In addition, it is necessary to verify and validate the agreed functionality and the implemented code before they are deployed in the blockchain platform. This article presents a systematic literature review of primary studies in the field of Software Development Life Cycle, focusing on model-based software design and testing in the blockchain domain of smart contracts. This research aims to identify gaps and/or opportunities for further research. After carried out this review, it was observed that no clear methodology exists for evaluating and validating the quality either of this software or the overall development process. This means that software developers may implement smart contract code in which bugs and serious security vulnerabilities appear when the software is delivered to their customers. |
Funding agencies | Ministerio de Economía y Competitividad (MINECO). España Junta de Andalucía |
Project ID. | TIN2016-76956-C3-2-R (POLOLAS)
![]() CEI-12-TIC021 ![]() |
Citation | Sánchez Gómez, N., Torres Valderrama, J., García García, J.A., Gutiérrez Rodríguez, J.J. y Escalona Cuaresma, M.J. (2020). Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review. IEEE Access, 8, 164556-164569. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Model-Based Software Design and ... | 2.521Mb | ![]() | View/ | |
This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Related items
Showing items related by title, author, creator and subject.
-
Article
Estimación del Coste de la Calidad del Software a través de la Simulación del Proceso de Desarrollo
Ruiz Carreira, Mercedes; Ramos Román, Isabel (Universidad Autónoma de Bucaramanga, 2001)El objetivo principal del control de calidad no es otro que detectar y corregir los errores que surgen durante el proceso ...
-
Presentation
Propuesta de modelo dinámico para la mejora de los proyectos de software
Moreno Iglesias, Luis; Ramos Román, Isabel; Ruiz Carreira, Mercedes (Asociación española de ingeniería de proyectos (AEIPRO), 2008)Software project’s success require to deal with the increasing complexity and dynamic characteristic of software development ...
-
Article
La definición de software libre
Stallman, R. (Universidad Sevilla, 2020)En este número y en la presente sección Zona Remix publicamos un texto de Richard Stallman. Se trata de un capítulo de ...