Una adaptación del UML Testing Profile para el Testing de Software Cuántico

Ignacio García Rodríguez de Guzmán; Moisés Rodríguez Monje; Mario Piattini Velthuis; María Teresa Merchan Quintana

doi:10.36561/ING.27.18

Autores/as

Ignacio García Rodríguez de Guzmán Universidad de Castilla-La Mancha, España https://orcid.org/0000-0002-0038-0942
Moisés Rodríguez Monje Universidad de Castilla-La Mancha, España https://orcid.org/0000-0003-2155-7409
Mario Piattini Velthuis Universidad de Castilla-La Mancha, España https://orcid.org/0000-0002-7212-8279
María Teresa Merchan Quintana Universidad de Castilla-La Mancha, España https://orcid.org/0009-0005-7162-8270

DOI:

https://doi.org/10.36561/ING.27.18

Palabras clave:

Ingeniería de software cuántica, Pruebas de software cuánticas, Perfil de pruebas UML, Pruebas de software

Resumen

Este estudio explora cómo la Ingeniería del Software Clásico, especialmente la ingeniería dirigida por modelos en testing, puede contribuir a la mejora de la Ingeniería del Software Cuántico (Quantum Software Engineering, QSE). Adoptando principios de "agnosticismo", se busca desarrollar procesos de ingeniería del software que sean independientes de cualquier lenguaje o plataforma específicos para software cuántico. Actualmente, el testing de software cuántico se considera un área emergente con múltiples propuestas focalizadas en lenguajes o plataformas particulares. Este trabajo propone una extensión del UML Testing Profile 2.0 para modelar pruebas de software cuántico, permitiendo (i) la exploración de nuevos conceptos necesarios para especificar estas pruebas, (ii) el modelado de diferentes tipos de pruebas durante el diseño del software cuántico, y (iii) la especificación de pruebas independiente del lenguaje o plataforma de ejecución. Esta aproximación busca establecer una base más flexible y extensible para el testing en QSE.

Descargas

Los datos de descargas todavía no están disponibles.

Citas

Amo, A., M. Serrano, I. Guzmán, M. Usaola, and M. Piattini, Automatic Generation of Testing Circuits for Deterministic Quantum Algorithms. 2023.

Firesmith, D. A Taxonomy of Testing. Software Engineering Institute's Insights (blog) 2015 Accesed at 02/04/2024]; Available from: https://insights.sei.cmu.edu/blog/a-taxonomy-of-testing/.

García de la Barrera, A., I. García-Rodríguez de Guzmán, M. Polo, and M. Piattini, Quantum software testing: State of the art. Journal of Software: Evolution and Process, 2023. 35(4): p. e2419.

García de la Barrera Amo, A., M.A. Serrano, I. García-Rodríguez Guzmán, M. Polo, and M. Piattini, Automatic generation of test circuits for the verification of Quantum deterministic algorithms. 2022. p. 1-6.

Huo, Q., H. Zhu, and S. Greenwood, A Multi-Agent Software Environment for Testing Web-Based Application, in CMPSAC 2003. 2003, IEEE.

Hutchinson, J., M. Rouncefield, and J. Whittle. Model-driven engineering practices in industry. in 2011 33rd International Conference on Software Engineering (ICSE). 2011.

ISO/IEC, Software and system engineering - Software Testing - Part 1: Concepts and definitions. 2021.

ISO/IEC, ISO/IEC/IEEE 29119-1:2022. Software and systems engineering. Software testing. 2022.

OMG, UML Testing Profile 2. 2019, Object Management Group.

Pérez-Castillo, R., L. Jiménez-Navajas, and M. Piattini, Modelling Quantum Circuits with UML. 2021. p. 7-12.

Piattini, M., G. Peterssen, and R. Pérez-Castillo, Quantum Computing: a new Software Engineering golden age. ACM SIGSOFT Software Engineering Notes, 2020. 45(3): p. 12-14.

Piattini, M., G. Peterssen Nodarse, R. Pérez-Castillo, J.L. Hevia Oliver, M. Serrano, G. Hernández González, I. Guzmán, C. Andrés Paradela, M. Polo, E. Murina, L. Jiménez Navajas, J. Marqueño, R. Gallego, J. Tura, F. Phillipson, J. Murillo, A. Niño, and M. Rodríguez, The Talavera Manifesto for Quantum Software Engineering and Programming. 2020.

Piattini, M., M. Serrano, R. Perez-Castillo, G. Petersen, and J.L. Hevia, Toward a Quantum Software Engineering. IT Professional, 2021. 23(1): p. 62-66.

Polo, M., I. García-Rodríguez de Guzmán, A. García, M.Á. Serrano, M. Piattini, A. Martínez, and G. Peterssen, Chapter 7: Quantum Software Testing, in Quantum Software Engineering & QuantumPath®, G. Peterssen, J.L. Hevia, and M. Piattini, Editors. 2023, aQuantum. p. 372.

Shaukat Dar, K., U. Shaukat, F. Feroz, S. Kayani, and A. Akbar, Taxonomy of Automated Software Testing Tools. International Journal of Computer Science and Innovation, 2015. 1: p. 7-18.

Villalón, J.C.M., G.C. Agustin, T.S.F. Gilabert, and J.d.J.J. Puello. A taxonomy for software testing projects. in 2015 10th Iberian Conference on Information Systems and Technologies (CISTI). 2015.