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

Nicolas Sanchez Gomez, Javier J. Gutiérrez, Enrique E. Parrilla, Julián A. García García

• 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..