An Adaptation of the UML Testing Profile for Quantum Software Testing
DOI:
https://doi.org/10.36561/ING.27.18Keywords:
Quantum Software Engineering, Quantum Software Testing, UML Testing Profile, Software TestingAbstract
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.
Downloads
References
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.
Published
How to Cite
Issue
Section
