An Adaptation of the UML Testing Profile for Quantum Software Testing

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

Descripción completa

Detalles Bibliográficos
Autores: García Rodríguez de Guzmán, Ignacio, Rodríguez Monje, Moisés, Piattini Velthuis, Mario, Merchan Quintana, María Teresa
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2024
País:Uruguay
Institución:Universidad de Montevideo
Repositorio:REDUM
Idioma:español
OAI Identifier:oai:redum.um.edu.uy:20.500.12806/2690
Acceso en línea:http://revistas.um.edu.uy/index.php/ingenieria/article/view/1430
https://hdl.handle.net/20.500.12806/2690
Access Level:acceso abierto
Palabra clave:Ingeniería de software cuántica
Pruebas de software cuánticas
Perfil de pruebas UML
Pruebas de software
Quantum Software Engineering
Quantum Software Testing
UML Testing Profile
Software Testing
Engenharia de Software Quantum
Teste de Software Quantum
Perfil de Teste UML
Teste de Software
Descripción
Sumario: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.