¿O que há de especial na engenharia de requisitos para sistemas quânticos-clássicos?
Palavras-chave:
Elicitação de requisitos, Sistemas híbridos quânticos-clássicos, Engenharia de requisitos quânticosResumo
A computação quântica impactará todas as fases do ciclo de vida do desenvolvimento de software em maior ou menor grau. Com o suporte da literatura atual, discutimos seu impacto potencial na engenharia de requisitos. Identificamos quatro tendências principais. Um estudo de viabilidade com foco em aspectos quânticos é necessário antes ou depois da análise de requisitos. A análise inicial da disponibilidade e a escolha do hardware desempenham um papel maior do que no desenvolvimento de software clássico. Os requisitos são divididos nas dimensões funcional, não funcional, clássica e quântica. A aceleração potencial de uma solução quântica deve ser estimada e considerada antecipadamente.
Downloads
Referências
I. Sommerville, Software Engineering, 10th ed. Pearson Education Limited, 2016.
M. Piattini, M. Serrano, R. Perez-Castillo, G. Petersen, and J. L. Hevia, “Toward a quantum software engineering,” IT Professional, vol. 23, no. 1, pp. 62–66, 2021.
M. A. Serrano, J. A. Cruz-Lemus, R. Perez-Castillo, and M. Piattini, “Quantum software components and platforms: Overview and quality assessment,” ACM Comput. Surv., vol. 55, no. 8, dec 2022. [Online]. Available: https://doi.org/10.1145/3548679
R. Pérez-Castillo, M. A. Serrano, and M. Piattini, “Software modernization to embrace quantum technology,” Advances in Engineering Software, vol. 151, p. 102933, 2021. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0965997820309790
M. Piattini, G. Peterssen, R. Pérez-Castillo, J. L. Hevia, M. A. Serrano, G. Hernández, I. G. R. de Guzmán, C. A. Paradela, M. Polo, E. Murina, and others, “The talavera manifesto for quantum software engineering and programming,” in QANSWER, 2020, pp. 1–5. [Online]. Available: https://www.aquantum.es/wp-content/uploads/2020/03/Talavera_Manifesto.pdf
M. Piattini and J. M. Murillo, “Quantum software engineering landscape and challenges,” in Quantum Software Engineering. Springer, 2022, pp. 25–38.
F. Regazzoni, A. Fowler, and I. Polian, “Quantum era challenges for classical computers,” in Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, ser. SAMOS ’18. New York, NY, USA: Association for Computing Machinery, 2018, p. 173–178. [Online]. Available: https://doi.org/10.1145/3229631.3264737
A. D. Carleton, E. Harper, J. E. Robert, M. H. Klein, D. De Niz, E. Desautels, J. B. Goodenough, C. Holland, I. Ozkaya, and D. Schmidt, “Architecting the future of software engineering: A national agenda for software engineering research and development,” Software Engineering Institute, Carnegie Mellon University, Report, November 2021 2021. [Online]. Available: https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=741193
B. Weder, J. Barzen, F. Leymann, and D. Vietz, Quantum Software Development Lifecycle. Cham: Springer International Publishing, 2022, pp. 61–83.
M. A. Akbar, A. A. Khan, and S. Rafi, “A systematic decision-making framework for tackling quantum software engineering challenges,” Automated Software Engineering, vol. 30, no. 2, pp. 1–44, nov 2023.
R. Pérez-Castillo, M. A. Serrano, J. A. Cruz-Lemus, and M. Piattini, “Guidelines to use the incremental commitment spiral model for developing quantum-classical systems,” Quantum Information and Computation, vol. 24, no. 1&2, pp. 71–88, 2024. [Online]. Available: https://www.rintonpress.com/xxqic24/qic-24-12/0071-0088.pdf
L. Pareto, “Extended abstract: requirements modeling within iterative, incremental processes,” in Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE ’05., 2005, pp. 249–250.
U. S. Shah, D. C. Jinwala, and S. J. Patel, “An excursion to software development life cycle models: An old to ever-growing models,” SIGSOFT Softw. Eng. Notes, vol. 41, no. 1, p. 1–6, feb 2016. [Online]. Available: https://doi.org/10.1145/2853073.2853080
J. Marin, J. Hurtado, M. Bastarrica, and L. Silvestre, “Tailoring hybrid software processes in a medium-size software company,” in Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, ser. SAC ’23. New York, NY, USA: Association for Computing Machinery, 2023, p. 1042–1050. [Online]. Available: https://doi.org/10.1145/3555776.3577709
N. Dey, M. Ghosh, S. S. Kundu, and A. Chakrabarti, “Qdlc – the quantum development life cycle,” ArXiv e-prints, oct 2020.
G. J. Hernández González and C. A. Paradela, “Quantum Agile Development Framework,” in Quality of Information and Communications Technology, M. Shepperd, F. Brito e Abreu, A. Rodrigues da Silva, and R. Pérez-Castillo, Eds. Cham: Springer International Publishing, 2020, pp. 284–291.
P. Spoletini, “Towards quantum requirements engineering,” in 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW). IEEE, 2023, pp. 04–05.
M. R. El aoun, H. Li, F. Khomh, and M. Openja, “Understanding quantum software engineering challenges an empirical study on stack exchange forums and github issues,” in 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2021, pp. 343– 354.
J. Zhao, “Quantum software engineering: Landscapes and horizons,” arXiv, 2020, ISBN: 2007.07047v2.
T. Yue, S. Ali, and P. Arcaini, “Towards quantum software requirements engineering,” in 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 02, 2023, pp. 161–164. [Online]. Available: https://ieeexplore.ieee.org/abstract/document/10313750
L. Saraiva, E. H. Haeusler, V. Costa, and M. Kalinowski, “Non-functional requirements for quantum programs,” in 2nd Quantum Software Engineering and Technology Workshop (QSET), colocated with IEEE International Conference on Quantum Computing and Engineering (QCE21), Virtual Conference, Oct 19, 2021.
M. Salm, J. Barzen, U. Breitenbücher, F. Leymann, B. Weder, and K. Wild, “The nisq analyzer: Automating the selection of quantum computers for quantum algorithms,” in Service-Oriented Computing, S. Dustdar, Ed. Cham: Springer International Publishing, 2020, pp. 66–85.
N. Chancellor, R. Cumming, and T. Thomas, “Toward a standardized methodology for constructing quantum computing use cases,” 2020. [Online]. Available: https://doi.org/10.48550/arXiv.2006.05846
A. W. Cross, L. S. Bishop, S. Sheldon, P. D. Nation, and J. M. Gambetta, “Validating quantum computers using randomized model circuits,” Phys. Rev. A, vol. 100, p. 032328, Sep 2019. [Online]. Available: https://link.aps.org/doi/10.1103/PhysRevA.100.032328
M. Suchara, J. Kubiatowicz, A. Faruque, F. T. Chong, C.-Y. Lai, and G. Paz, “Qure: The quantum resource estimator toolbox,” in 2013 IEEE 31st International Conference on Computer Design (ICCD), 2013, pp. 419–426.
R. Pérez-Castillo and M. Piattini, “Design of classical-quantum systems with uml,” Computing, vol. 104, no. 11, pp. 2375–2403, 2022.
J. W. Z. Lau, K. H. Lim, H. Shrotriya, and L. C. Kwek, “Nisq computing: where are we and where do we go?” AAPPS bulletin, vol. 32, no. 1, p. 27, 2022.
Publicado
Como Citar
Edição
Seção
Licença
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
