Mecanismo para la generación sistemática de pruebas funcionales de smart contracts en sistemas de gestión de publicaciones digitales

• Sánchez Gomez, Nicolás ^[1] ; Gutiérrez, Javier J. ; Parrilla, Enrique E. ; García García, Julián A. ^[1]
  1. [1] Universidad de Sevilla

     Universidad de Sevilla

     Sevilla, España

     
• Localización: Ibersid: revista de sistemas de información y documentación = journal of information and documentation systems, ISSN 1888-0967, Vol. 17, Nº. 2, 2023, págs. 31-39
• Idioma: español
• DOI: 10.54886/ibersid.v17i2.4906
• Títulos paralelos:
  • Mechanism for the systematic generation of smart contract functional tests of in digital publication management systems
• Enlaces
  • Texto completo
• Resumen
  • español

    La tecnología blockchain ha ganado un protagonismo significativo en el mundo de los negocios. Su impacto se ha sentido en numerosos sectores, pero su integración e interoperabilidad continúa siendo compleja. Siguen existiendo numerosos retos, tanto para el área usuaria y consultores de negocio, como para los ingenieros informáticos. Uno de los retos identificados por la comunidad investigadora, es la necesidad de proporcionar mecanismos que permitan especificar, verificar y validar los requisitos y reglas de negocio que deben cumplir los smart contracts antes de su despliegue en una red blockchain. Este artículo describe una propuesta basada en la ingeniería dirigida por modelos y orientada al usuario, cuyo objetivo es obtener pruebas funcionales a partir de las especificaciones de los smart contracts, de forma sistemática. Esta propuesta ha sido validada en el proyecto SmartISBN, proyecto I+D+i, que tenía entre sus objetivos asegurar la calidad software de los smart contracts y, sobre todo, mejorar la trazabilidad de las publicaciones digitales (libros y revistas electrónicas). utilizando para ello la tecnología blockchain. En este contexto, la presente propuesta, ha facilitado la comunicación entre expertos funcionales (autores, editoriales, libreros, etc.) e ingenieros informáticos durante la etapa de especificaciones de la solución global SmartISBN y, de los smart contracts, en particular, así como durante la definición de las pruebas funcionales necesarias para la validación del proyecto.

  • English

    Blockchain technology has gained significant prominence in the business world. Its impact has been felt in many sectors, but its integration and interoperability remain complex. Many challenges remain, both for users and business consultants, as well as for IT engineers. One of the challenges identified by the research community is the need to provide mechanisms to specify, verify and validate the requirements and business rules that smart contracts must comply with before they can be deployed in a blockchain network. This paper describes a proposal, based on model-driven and user-oriented engineering, that aims to obtain functional verification from smart contract specifications in a systematic way. This proposal has been validated in the SmartISBN project, an R+D+i project whose objectives included ensuring the software quality of smart contracts and, above all, improving the traceability of digital publishing (electronic books and journals) using blockchain technology. In this context, this proposal has facilitated the communication between functional experts (authors, publishers, booksellers, etc.) and IT engineers during the specification phase of the global SmartISBN solution and in particular of the smart contracts, as well as during the definition of the functional tests necessary for the validation of the project..

• Referencias bibliográficas
  • Alharby, M.; Aldweesh, A.; van Moorsel, A. (2018). blockchain-based smart contracts: A systematic mapping study of aca-demic research (2018)....
  • Bézivin, J. (2004). In search of a basic principle for model driven engineering. // Novatica Journal. 5:2, 21-24.
  • Chirinos, C. P.; Furones, A. R. (2019). Blockchain: fundamentos técnicos y de negocio. // Revista de Obras Públicas: Órgano profesional de...
  • Fontela, C. (2012). UML: modelado de software para profesio-nales. Alpha Editorial.
  • Gramoli, V. (2022). Blockchain Fundamentals. // Blockchain Scalability and its Foundations in Distributed Systems. Cham: Springer International...
  • Jain, S.; Joshi, H. (2016). Impact of early testing on cost, relia-bility and release time. // 2016 5th International Conference on Reliability,...
  • Janssens, L.; Bazhenova, E.; De Smedt, J.; Vanthienen, J.; Denecker, M. (2016). Consistent Integration of Decision (DMN) and Process (BPMN)...
  • Magadán-Díaz, M.; Rivas-García, J. I. (2020). La industria editorial española: dos décadas clave de transformación y cambio (1996-2016). //...
  • Martínez Alés, R. (2001). Información Comercial Española. // ICE: Revista de economía. ISSN 0019-977X. 792, 109-123.
  • Needleman, M. H. (2001). ONIX (online information exchange). // Serials Review. 27:3-4, 102-104.
  • Safdar, M.; Qutab, S.; Ullah, F. S.; Siddique, N.; Khan, M. A. (2022). A mapping review of literature on Blockchain usage by libraries: Challenges...
  • Sánchez-Gómez, N.; Torres-Valderrama, J.; García-García, J. A.; Gutiérrez, J. J.; Escalona, M. J. (2020). Model-based software design and...
  • The Medizine (2021). El blockchain llega al mundo editorial de la mano de Lantia Publishing. https://themedizine.com/p/el-blockchain-llega-al-mundo-editorial-de-la-mano-de-lantia-publishing...
  • Yuan, X.; Zhou, S. (2022). Research on Library Intelligent Ser-vice Based on Blockchain Technology. // International Con-ference on Computer...
  • Zeng, J.; Dai, X.; Xiao, J.; Yang, W.; Hao, W.; Jin, H. (2019). Bookchain: Library-free book sharing based on Blockchain technology. // 2019...
  • Zou, W.; Lo, D.; Kochhar, P. S.; Le, X. B. D.; Xia, X.; Feng, Y.; [...] ; Xu, B. (2019). Smart contract development: Challenges and opportunities....