Evaluación de la mantenibilidad de los sistemas híbridos (clásico-cuánticos)
Resumo
El notable desarrollo de la computación cuántica surge en respuesta a la necesidad de abordar problemas que resultan intratables para las computadoras convencionales. No obstante, es fundamental destacar que la computaci ón cuántica no reemplazará a la computación tradicional, sino que ambas coexistirán en sistemas híbridos. Similar al escenario observado en el ámbito del software convencional, se vuelve obligatorio evaluar la calidad de estos sistemas híbridos emergentes, con un enfoque particular en su mantenibilidad para asegurar su escalabilidad. En el presente trabajo, introducimos un marco metodológico y tecnológico pionero que comprende un conjunto de propiedades y métricas, así como una serie de herramientas automatizadas diseñadas para la mantenibilidad del software híbrido.Referências
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.
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.
Publicado
06/05/2024
Como Citar
MUÑOZ, Ana Díaz; MONJE, Moisés Rodríguez; CRUZ-LEMUS, José A.; VELTHUIS, Mario Piattini.
Evaluación de la mantenibilidad de los sistemas híbridos (clásico-cuánticos). In: CONGRESSO IBERO-AMERICANO EM ENGENHARIA DE SOFTWARE (CIBSE), 27. , 2024, Curitiba/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2024
.
p. 356-363.
DOI: https://doi.org/10.5753/cibse.2024.28461.
