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

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

Palavras-chave:

Engenharia de Software Quantum, Teste de Software Quantum, Perfil de Teste UML, Teste de Software

Resumo

Este estudo explora como a Engenharia de Software Clássica, especialmente a engenharia orientada por modelos em testes, pode contribuir para a melhoria da Engenharia de Software Quântica (QSE). Adoptando princípios de "agnosticismo", procura desenvolver processos de engenharia de software que sejam independentes de qualquer linguagem ou plataforma específica para software quântico. Atualmente, o teste de software quântico é considerado uma área emergente com múltiplas propostas centradas em linguagens ou plataformas específicas. Este trabalho propõe uma extensão do Perfil de Testes UML 2.0 para modelar testes de software quântico, permitindo (i) a exploração de novos conceitos necessários para a especificação destes testes, (ii) a modelação de diferentes tipos de testes durante a conceção de software quântico, e (iii) a especificação de testes independentes da linguagem ou plataforma de execução. Esta abordagem tem como objetivo estabelecer uma base mais flexível e extensível para os testes em QSE.

Downloads

Não há dados estatísticos.

Referências

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.