dc.creator | Sánchez Gómez, Nicolás | es |
dc.creator | Torres Valderrama, Jesús | es |
dc.creator | García García, Julián Alberto | es |
dc.creator | Gutiérrez Rodríguez, Javier Jesús | es |
dc.creator | Escalona Cuaresma, María José | es |
dc.date.accessioned | 2022-06-07T09:09:00Z | |
dc.date.available | 2022-06-07T09:09:00Z | |
dc.date.issued | 2020 | |
dc.identifier.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. | |
dc.identifier.issn | 2169-3536 | es |
dc.identifier.uri | https://hdl.handle.net/11441/134105 | |
dc.description.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 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. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2016-76956-C3-2-R (POLOLAS) | es |
dc.description.sponsorship | Junta de Andalucía CEI-12-TIC021 | es |
dc.format | application/pdf | es |
dc.format.extent | 14 | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | IEEE Access, 8, 164556-164569. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Software engineering | es |
dc.subject | Software development life cycle | es |
dc.subject | Blockchain | es |
dc.subject | Smart contracts | es |
dc.subject | Model-based software engineering | es |
dc.subject | Software testing | es |
dc.subject | Systematic Literature Reviews | es |
dc.title | Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIN2016-76956-C3-2-R (POLOLAS) | es |
dc.relation.projectID | CEI-12-TIC021 | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/9186040 | es |
dc.identifier.doi | 10.1109/ACCESS.2020.3021502 | es |
dc.contributor.group | Universidad de Sevilla. TIC021: Engineering and Science for Software Systems | es |
dc.journaltitle | IEEE Access | es |
dc.publication.volumen | 8 | es |
dc.publication.initialPage | 164556 | es |
dc.publication.endPage | 164569 | es |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | es |
dc.contributor.funder | Junta de Andalucía | es |