Mechanism for the systematic generation of smart contract functional tests of in digital publication management systems

Authors

  • Nicolás Sánchez Gomez Universidad de Sevilla https://orcid.org/0000-0001-9102-6836
  • Javier J. Gutiérrez
  • Enrique E. Parrilla
  • Julián A. García García Departamento de Lenguajes y Sistemas Informáticos, ETSII, Universidad de Sevilla, Avenida Reina Mercedes s/n, 41012, Sevilla

DOI:

https://doi.org/10.54886/ibersid.v17i2.4906

Keywords:

Blockchain, Digital publishing, Software testing, Smart contracts, Traceability, ISBN

Abstract

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

Downloads

Download data is not yet available.

References

Alharby, M.; Aldweesh, A.; van Moorsel, A. (2018). blockchain-based smart contracts: A systematic mapping study of aca-demic research (2018). // 2018 International Conference on Cloud Computing, Big Data and blockchain (ICCBB) (pp. 1-6). IEEE.

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 los ingenieros de caminos, canales y puertos. 3615, 42-47.

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 Publishing. 17-39.

Jain, S.; Joshi, H. (2016). Impact of early testing on cost, relia-bility and release time. // 2016 5th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO). IEEE. 318-322

Janssens, L.; Bazhenova, E.; De Smedt, J.; Vanthienen, J.; Denecker, M. (2016). Consistent Integration of Decision (DMN) and Process (BPMN) Models. // CAiSE forum. 1612, 121-128.

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). // Investigaciones de Historia Econó-mica (2020). https://doi.org/10.33231/j.ihe.2020.04.003

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 and opportunities. // Journal of Li-brarianship and Information Science, 09610006221090225.

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 testing in blockchain smart contracts: A systematic literature review. // IEEE Access. 8, 164556-164569.

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 (2023-06)

Yuan, X.; Zhou, S. (2022). Research on Library Intelligent Ser-vice Based on Blockchain Technology. // International Con-ference on Computer Science and Education. Singapore: Springer Nature Singapore. 267-277.

Zeng, J.; Dai, X.; Xiao, J.; Yang, W.; Hao, W.; Jin, H. (2019). Bookchain: Library-free book sharing based on Blockchain technology. // 2019 15th International Conference on Mobile Ad-Hoc and Sensor Networks (MSN). IEEE. 224-229.

Zou, W.; Lo, D.; Kochhar, P. S.; Le, X. B. D.; Xia, X.; Feng, Y.; [...] ; Xu, B. (2019). Smart contract development: Challenges and opportunities. // IEEE Transactions on Software Engi-neering. 47:10, 2084-2106.

Published

2023-11-30

How to Cite

Sánchez Gomez, N., Gutiérrez, J. J., Parrilla, E. E., & García García, J. A. (2023). Mechanism for the systematic generation of smart contract functional tests of in digital publication management systems. Ibersid: Journal of Information and Documentation Systems (ISSNe 2174-081X; ISSN 1888-0967), 17(2), 31–39. https://doi.org/10.54886/ibersid.v17i2.4906

Issue

Section

Articles