Artículo
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
Autor/es | 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é ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2020 |
Fecha de depósito | 2022-06-07 |
Publicado en |
|
Resumen | 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. |
Agencias financiadoras | Ministerio de Economía y Competitividad (MINECO). España Junta de Andalucía |
Identificador del proyecto | TIN2016-76956-C3-2-R (POLOLAS)
![]() CEI-12-TIC021 ![]() |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Model-Based Software Design and ... | 2.521Mb | ![]() | Ver/ | |
Este registro aparece en las siguientes colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Items relacionados
Enseñando items relacionados por título, autor, creador y materia.
-
Artículo
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 ...
-
Ponencia
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 ...
-
Artículo
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 ...