Evaluation of the maintainability of hybrid systems (classic-quantum)

• Ana Díaz Muñoz AQCLab Software Quality / Universidad de Castilla-La Mancha
• Moisés Rodríguez Monje AQCLab Software Quality / Universidad de Castilla-La Mancha
• José A. Cruz-Lemus Universidad de Castilla-La Mancha
• Mario Piattini Velthuis Universidad de Castilla-La Mancha

Abstract

The remarkable development of quantum computing arose in response to the need to address problems intractable for conventional computers. However, it is essential to emphasize that quantum computing will not replace traditional computing but will coexist in hybrid systems. Similar to the scenario observed in the conventional software domain, evaluating the quality of these emerging hybrid systems becomes mandatory, with a particular focus on their maintainability to ensure their scalability. In this paper, we introduce a pioneering methodological and technological framework comprising a set of properties and metrics and a set of automated tools designed for hybrid software maintainability.

References

Akbar, M., Khan, A., and Rafi, S. (2023). A systematic decision-making framework for tackling quantum software engineering challenges. Automated Software Engineering, 30(22).

Alvarado-Valiente, J., Romero-Álvarez, J., Díaz, A., Rodríguez,M., García-Rodríguez, I., Moguel, E., Garcia-Alonso, J., and Murillo, J. M. (2023). Quantum services generation and deployment process: A quality-oriented approach. QUATIC: The International Conference on the Quality of Information and Communications Technology, 1871.

Bernhard, C. (2019). Quantum Computing for Everyone. The MIT Press.

Chen, Q., Cˆamara, R., Campos, J., Souto, A., and Ahmed, I. (2023). The smelly eight: An empirical study on the prevalence of code smells in quantum computing. pages 358–370, Melbourne, Australia: IEEE.

Díaz, A., Rodríguez, M., and Piattini, M. (2024). Towards a set of metrics for hybrid (quantum/classical) systems maintainability. Journal of Universal Computer Science (J.UCS), 30(1):25–48.

Gheorghe-Pop, I.-D., Tcholtchev, N., Ritter, T., and Hauswirth, M. (2020). Quantum devops: Towards reliable and applicable nisq quantum computing. IEEE Globecom Workshops, pages 1–6.

Gover, L. K. (1994). A fast quantum mechanical algorithm for database search. Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, page 212–219.

ISO (2011). Iso/iec 25010. Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - Guide to SQuaRE. Retrieved from Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models.

ISO (2014). Iso/iec 25000. Systems and software engineering – Systems and software Quality Requirements and Evaluation (SQuaRE) – Guide to SQuaRE.

Khan, A., Akbar, M., Ahmad, A., Fahmideh, M., Shameem, M., Lahtinen, V., Waseem, M., and Mikkonen, T. (2023). 2023 IEEE International Conference on Quantum Software (QSW), chapter Agile Practices for Quantum Software Development: Practitioners’ Perspectives, pages 9–20. IEEE.

Kumar, A. (2023). Formalization of structural test cases coverage criteria for quantum software testing. International Journal of Theoretical Physics, 62:1–16.

Moll, N., Barkoutsos, P., and Benjamin, S. (2021). Quantum development beyond qiskit. npj Quantum Information, 7(1):1–7.

Piattini, M., Peterssen, G., Pérez-Castillo, R., Hevia, J., Serrano, M., González, G. H., Guzmán, I., Andrés, C., Polo, M., Murina, E., Jiménez, L., Marqueño, J., Gallego, R., Tura, J., Phillipson, F., Murillo, J., Niño, A., and Rodríguez, M. (2020). The talavera manifesto for quantum software ingenieering and programming. Talavera de la Reina. Qiskit-Contributors (2024). Qiskit: Circuit library.

Rodríguez, M. and Piattini, M. (2014). Software product quality evaluation using iso/iec 25000. ERCIM News, 99.

Rodríguez, M., Piattini, M., and Fernández, C. (2015). A hard look at software quality: Pilot program uses iso/iec 25000 family to evaluate, improve and certify software products. Quality Progress, 48(9):30–36.

Shor, P. (1994). Algorithms for quantum computation: discrete logarithms and factoring. Proceedings 35th Annual Symposium on Foundations of Computer Science, pages 124–134.

Verdugo, J., Oviedo, J., Rodríguez, M., and Piattini, M. (2024). Connecting research and practice for software product quality certification: a 25-year journey. Accepted to IEEE Software.