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