2000 character limit reached
Towards Quantum Software Requirements Engineering (2309.13358v1)
Published 23 Sep 2023 in cs.SE
Abstract: Quantum software engineering (QSE) is receiving increasing attention, as evidenced by increasing publications on topics, e.g., quantum software modeling, testing, and debugging. However, in the literature, quantum software requirements engineering (QSRE) is still a software engineering area that is relatively less investigated. To this end, in this paper, we provide an initial set of thoughts about how requirements engineering for quantum software might differ from that for classical software after making an effort to map classical requirements classifications (e.g., functional and extra-functional requirements) into the context of quantum software. Moreover, we provide discussions on various aspects of QSRE that deserve attention from the quantum software engineering community.
- S. Ali, T. Yue, and R. Abreu, “When software engineering meets quantum computing,” Communications of the ACM, vol. 65, no. 4, pp. 84–88, 2022.
- J. Zhao, “Quantum software engineering: Landscapes and horizons,” CoRR, vol. abs/2007.07047, 2020.
- N. Chancellor, R. Cumming, and T. Thomas, “Toward a standardized methodology for constructing quantum computing use cases,” CoRR, vol. abs/2006.05846, 2020. [Online]. Available: https://arxiv.org/abs/2006.05846
- L. Saraiva, E. H. Haeusler, V. G. Costa, and M. Kalinowski, “Non-functional requirements for quantum programs,” in Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021), ser. CEUR Workshop Proceedings, vol. 3008. CEUR-WS.org, 2021, pp. 89–73. [Online]. Available: http://ceur-ws.org/Vol-3008/paper4.pdf
- Qiskit Finance Development Team, “Credit risk analysis.” [Online]. Available: https://qiskit.org/documentation/finance/tutorials/09_credit_risk_analysis.html
- D. J. Egger, R. García Gutiérrez, J. C. Mestre, and S. Woerner, “Credit risk analysis using quantum computers,” IEEE Transactions on Computers, vol. 70, no. 12, pp. 2136–2145, 2021.
- S. Woerner and D. J. Egger, “Quantum risk analysis,” npj Quantum Information, vol. 5, no. 1, Feb 2019. [Online]. Available: http://dx.doi.org/10.1038/s41534-019-0130-6
- “Systems and software engineering — System life cycle processes,” Standard, May 2015.
- B. Weder, J. Barzen, F. Leymann, M. Salm, and D. Vietz, “The quantum software lifecycle,” in Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, ser. APEQS 2020. New York, NY, USA: Association for Computing Machinery, 2020, pp. 2–9. [Online]. Available: https://doi.org/10.1145/3412451.3428497
- M. J. Biercuk, H. Slatyer, and M. Hush, “Boosting quantum computer hardware performance with TensorFlow,” 2020. [Online]. Available: https://q-ctrl.com/blog/boosting-quantum-computer-hardware-performance-with-tensorflow
- L. Zhou, N. Yu, and M. Ying, “An applied quantum hoare logic,” in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019, pp. 1149–1162.
- C. Chareton, S. Bardin, D. Lee, B. Valiron, R. Vilmart, and Z. Xu, “Formal methods for quantum programs: A survey,” 2021.
- X. Wang, P. Arcaini, T. Yue, and S. Ali, “Generating failing test suites for quantum programs with search,” in Search-Based Software Engineering. Cham: Springer International Publishing, 2021, pp. 9–25.
- S. Honarvar, M. R. Mousavi, and R. Nagarajan, “Property-based testing of quantum programs in Q#,” in Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, ser. ICSEW’20. New York, NY, USA: Association for Computing Machinery, 2020, pp. 430–435.
- S. Ali, P. Arcaini, X. Wang, and T. Yue, “Assessing the effectiveness of input and output coverage criteria for testing quantum programs,” in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, pp. 13–23.
- X. Wang, P. Arcaini, T. Yue, and S. Ali, “Application of combinatorial testing to quantum programs,” in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS), 2021, pp. 179–188.
- E. n. Mendiluze, S. Ali, P. Arcaini, and T. Yue, “Muskit: A mutation analysis tool for quantum software testing,” in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, pp. 1266–1270.
- N. Oldfield, T. Yue, and S. Ali, “Investigating quantum cause-effect graphs,” in Proceedings of the 3rd International Workshop on Quantum Software Engineering, ser. Q-SE ’22, 2023, p. 8–15.
- A. Miranskyy and L. Zhang, “On testing quantum programs,” in Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ser. ICSE-NIER ’19. IEEE Press, 2019, pp. 57–60.