Abstract
Until now, the quality problems of quantum software have been largely ignored. This chapter analyzes the applicability of models and metrics for quantum software and, to mitigate this lack of attention to quality issues, presents a set of metrics that have been proposed and empirically validated to characterize the complexity of quantum circuits in terms of their understandability. The validation experiment design, execution, and results are reported. In addition, the main functionalities of a prototype tool that has been created for the automatic computation of the metrics are briefly presented.
Chapter PDF
Keywords
References
Barthe, G., Hsu, J., Ying, M., Yu, N., Zhou, L.: Relational proofs for quantum programs. POPL (2020). https://doi.org/10.1145/3371089
Bishop, L., Bravyi, S., Cross, A., Gambetta, J., Smolin, J.: Quantum volume (2017). https://storageconsortium.de/content/sites/default/files/quantum-volumehp08co1vbo0cc8fr.pdf
Breiman, L., Friedman, J., Stone, C.J., Olshen, R.A.: Classification and Regression Trees. Taylor & Francis (1984). https://doi.org/10.1201/9781315139470
Breiman, L.: Random forests. Mach. Learn. (2001). https://doi.org/10.1023/A:1010933404324
Burgholzer, L., Wille, R.: Advanced Equivalence Checking for Quantum Circuits (2020). https://doi.org/10.48550/arXiv.2004.08420
Cartiere, C.R.: Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing. QSET (2021). https://doi.org/10.13140/RG.2.2.26157.10725/2
Chareton, C., Bardin, S., Bobot, F., Perrelle, V., Valiron, B.: Toward certified quantum programming (2020). https://doi.org/10.48550/arXiv.2003.05841
Cruz-Lemus, J.A., Maes, A., Genero, M., Poels, G., Piattini, M.: The impact of structural complexity on the understandability of UML statechart diagrams. Inf. Sci. (2010). https://doi.org/10.1016/j.ins.2010.01.026
Cruz-Lemus, J.A., Marcelo, L.A., Piattini, M.: Towards a set of metrics for quantum circuits understandability. QUATIC (2021). https://doi.org/10.1007/978-3-030-85347-1_18
Genero, M., Piattini, M., Calero, C. A survey of metrics for UML class diagrams. J. Object Technol. (2005). https://doi.org/10.5381/jot.2005.4.9.a1
Genero, M., Piattini, M., Calero, C.: Metrics for Software Conceptual Models. Imperial College Press (2005). https://doi.org/10.1142/P359
Genero, M., Piattini, M., Chaudron, M.: Quality of UML models. Inf. Soft. Technol (2009). https://doi.org/10.1016/j.infsof.2009.04.006
Grumbling, E., Horowitz, M.: Quantum Computing Progress and Prospects. The National Academies Press, Washington DC (2019)
EQF.: Strategic Research Agenda. European Quantum Flagship. February (2020)
Gheorghiu, A., Kapourniotis, T., Kashefi, E.: Verification of quantum computation: An overview of existing approaches. Theory Comput. Sys. (2018). https://doi.org/10.48550/arXiv.1709.06984
ISO/IEC 25010.: Software Engineering - Systems and Software Quality Requirements and Evaluation (SQuaRE) – System and Software quality models. International Organization for Standardization, Geneva (2011)
Maslov, D., Miller, M.: Comparison of the cost metrics through investigation of the relation between optimal NCV and optimal NCT three-qubit reversible circuits. IET Comput. Digit. Tech. (2007). https://doi.org/10.1049/iet-cdt:20060070
Pérez-Delgado, C., Perez-Gonzalez, H.: Towards a quantum software modeling language. Q-SE (2020). https://doi.org/10.48550/arXiv.2006.16690
Piattini, M., Peterssen, G., Pérez-Castillo, R., Hevia, J.L., et al.: The Talavera Manifesto for Quantum Software Engineering and Programming. QANSWER (2020). http://ceur-ws.org/Vol-2561/paper0.pdf
Piattini, M., Serrano, M., Pérez-Castillo, R., Peterssen, G., Hevia J.L.: Towards a Quantum Software Engineering. IT Prof. (2021). https://doi.org/10.1109/MITP.2020.3019522
Preskill, J.: Quantum Computing in the NISQ era and beyond. Quantum (2018). https://doi.org/10.22331/q-2018-08-06-79
Rand, R., Paykin, J., Zdancewic, S.: QWIRE practice: formal verification of quantum circuits. EPTCS 266, (2018). https://doi.org/10.4204/EPTCS.266.8
Rand, R.: Research Statement: Languages, Verification and Compilation for the Quantum Era (2020). http://www.cs.umd.edu/~rrand/Research_Statement.pdf
Resch, S., Karpuzcu, U.R.: Quantum Computing: An Overview Across the System. Stack (2019). https://doi.org/10.48550/arXiv.1905.07240
Rieffel, E., Polak, W.: Quantum Computing: A Gentle Introduction. The MIT Press (2014)
Serrano, M., Trujillo, J., Calero, C., Piattini, M.: Metrics for data warehouse conceptual models understandability. Inf. Soft. Technol. (2007). https://doi.org/10.1016/j.infsof.2006.09.008
Sicilia, M., Sánchez-Alonso, S., Mora-Cantallops, M., García-Barriocanal, E.: On the source code structure of quantum code: Insights from q# and qdk. QUATIC (2020). https://doi.org/10.1007/978-3-030-58793-2_24
Sodhi, B., Kapur, R.: Quantum Computing Platforms: Assessing Impact on Quality Attributes and SDLC Activities. ICSA (2021). https://doi.org/10.48550/arXiv.2104.14261
Thapliyal, H., Muñoz-Coreas, E.: Design of Quantum Computing Circuits. IT Prof. (2019). https://doi.org/10.1109/MITP.2019.2943134
Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B.: Experimentation in Software Engineering. Springer (2012). https://doi.org/10.1007/978-3-642-29044-2
Zhao, J.: Some size and structure metrics for quantum software. Q-SE (2020). https://doi.org/10.48550/arXiv.2103.08815
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Cruz-Lemus, J.A., Rodríguez, M., Barba-Rojas, R., Piattini, M. (2024). Quantum Software Quality Metrics. In: Exman, I., Pérez-Castillo, R., Piattini, M., Felderer, M. (eds) Quantum Software. Springer, Cham. https://doi.org/10.1007/978-3-031-64136-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-031-64136-7_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64135-0
Online ISBN: 978-3-031-64136-7
eBook Packages: Computer ScienceComputer Science (R0)