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

• García Rodríguez de Guzmán, Ignacio ^[1] ; Rodríguez Monje, Moisés ^[1] ; Piattini Velthuis, Mario ^[1] ; Merchan Quintana, María Teresa ^[1]
  1. [1] Universidad de Castilla-La Mancha

     Universidad de Castilla-La Mancha

     Ciudad Real, España

     
• Localización: Memoria Investigaciones en Ingeniería, ISSN 2301-1092, ISSN-e 2301-1106, Nº. 27, 2024, págs. 266-284
• Idioma: español
• DOI: 10.36561/ING.27.18
• Títulos paralelos:
  • Uma Adaptação do Perfil de Teste UML para Teste de Software Quântico
  • An Adaptation of the UML Testing Profile for Quantum Software Testing
• Enlaces
  • Texto completo
• Resumen
  • español

    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.

  • English

    This study explores how Classical Software Engineering, especially model-driven engineering in testing, can contribute to the improvement of Quantum Software Engineering (QSE). Adopting principles of "agnosticism", it seeks to develop software engineering processes that are independent of any specific language or platform for quantum software. Currently, quantum software testing is considered an emerging area with multiple proposals focused on particular languages or platforms. This work proposes an extension of the UML Testing Profile 2.0 to model quantum software testing, allowing (i) the exploration of new concepts needed to specify these tests, (ii) the modelling of different types of tests during quantum software design, and (iii) the specification of tests independent of the execution language or platform. This approach aims to establish a more flexible and extensible basis for testing in QSE.

  • português

    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.

• Referencias bibliográficas
  • Amo, A., M. Serrano, I. Guzmán, M. Usaola, and M. Piattini, Automatic Generation of Testing Circuits for Deterministic Quantum Algorithms....
  • 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...
  • 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...
  • 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...
  • 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...
  • 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,...
  • Piattini, M., M. Serrano, R. Perez-Castillo, G. Petersen, and J.L. Hevia, Toward a Quantum Software Engineering. IT Professional, 2021. 23(1):...
  • 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...
  • Shaukat Dar, K., U. Shaukat, F. Feroz, S. Kayani, and A. Akbar, Taxonomy of Automated Software Testing Tools. International Journal of Computer...
  • 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...