{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:01:44Z","timestamp":1776783704391,"version":"3.51.2"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031641350","type":"print"},{"value":"9783031641367","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T00:00:00Z","timestamp":1724371200000},"content-version":"vor","delay-in-days":235,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100012163","name":"Universit\u00e4t Innsbruck","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012163","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1007\/978-3-031-64136-7_6","type":"book-chapter","created":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T13:48:28Z","timestamp":1724420908000},"page":"125-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Quantum Software Quality Metrics"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 A.","family":"Cruz-Lemus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mois\u00e9s","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00fal","family":"Barba-Rojas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Piattini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,23]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Barthe, G., Hsu, J., Ying, M., Yu, N., Zhou, L.: Relational proofs for quantum programs. POPL (2020). https:\/\/doi.org\/10.1145\/3371089","DOI":"10.1145\/3371089"},{"key":"6_CR2","unstructured":"Bishop, L., Bravyi, S., Cross, A., Gambetta, J., Smolin, J.: Quantum volume (2017). https:\/\/storageconsortium.de\/content\/sites\/default\/files\/quantum-volumehp08co1vbo0cc8fr.pdf"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Breiman, L., Friedman, J., Stone, C.J., Olshen, R.A.: Classification and Regression Trees. Taylor & Francis (1984). https:\/\/doi.org\/10.1201\/9781315139470","DOI":"10.1201\/9781315139470"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Breiman, L.: Random forests. Mach. Learn. (2001). https:\/\/doi.org\/10.1023\/A:1010933404324","DOI":"10.1023\/A:1010933404324"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Burgholzer, L., Wille, R.: Advanced Equivalence Checking for Quantum Circuits (2020). https:\/\/doi.org\/10.48550\/arXiv.2004.08420","DOI":"10.48550\/arXiv.2004.08420"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-031-05324-5_5"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Chareton, C., Bardin, S., Bobot, F., Perrelle, V., Valiron, B.: Toward certified quantum programming (2020). https:\/\/doi.org\/10.48550\/arXiv.2003.05841","DOI":"10.48550\/arXiv.2003.05841"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1016\/j.ins.2010.01.026"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-030-85347-1_18"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.5381\/jot.2005.4.9.a1"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Genero, M., Piattini, M., Calero, C.: Metrics for Software Conceptual Models. Imperial College Press (2005). https:\/\/doi.org\/10.1142\/P359","DOI":"10.1142\/9781860946066"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Genero, M., Piattini, M., Chaudron, M.: Quality of UML models. Inf. Soft. Technol (2009). https:\/\/doi.org\/10.1016\/j.infsof.2009.04.006","DOI":"10.1016\/j.infsof.2009.04.006"},{"key":"6_CR13","doi-asserted-by":"publisher","DOI":"10.17226\/25196","volume-title":"Quantum Computing Progress and Prospects","author":"E Grumbling","year":"2019","unstructured":"Grumbling, E., Horowitz, M.: Quantum Computing Progress and Prospects. The National Academies Press, Washington DC (2019)"},{"key":"6_CR14","unstructured":"EQF.: Strategic Research Agenda. European Quantum Flagship. February (2020)"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.48550\/arXiv.1709.06984"},{"key":"6_CR16","unstructured":"ISO\/IEC 25010.: Software Engineering - Systems and Software Quality Requirements and Evaluation (SQuaRE) \u2013 System and Software quality models. International Organization for Standardization, Geneva (2011)"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.1049\/iet-cdt:20060070"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-Delgado, C., Perez-Gonzalez, H.: Towards a quantum software modeling language. Q-SE (2020). https:\/\/doi.org\/10.48550\/arXiv.2006.16690","DOI":"10.48550\/arXiv.2006.16690"},{"key":"6_CR19","unstructured":"Piattini, M., Peterssen, G., P\u00e9rez-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"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Piattini, M., Serrano, M., P\u00e9rez-Castillo, R., Peterssen, G., Hevia J.L.: Towards a Quantum Software Engineering. IT Prof. (2021). https:\/\/doi.org\/10.1109\/MITP.2020.3019522","DOI":"10.1109\/MITP.2020.3019522"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Preskill, J.: Quantum Computing in the NISQ era and beyond. Quantum (2018). https:\/\/doi.org\/10.22331\/q-2018-08-06-79","DOI":"10.22331\/q-2018-08-06-79"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Rand, R., Paykin, J., Zdancewic, S.: QWIRE practice: formal verification of quantum circuits. EPTCS 266, (2018). https:\/\/doi.org\/10.4204\/EPTCS.266.8","DOI":"10.4204\/EPTCS.266.8"},{"key":"6_CR23","unstructured":"Rand, R.: Research Statement: Languages, Verification and Compilation for the Quantum Era (2020). http:\/\/www.cs.umd.edu\/~rrand\/Research_Statement.pdf"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Resch, S., Karpuzcu, U.R.: Quantum Computing: An Overview Across the System. Stack (2019). https:\/\/doi.org\/10.48550\/arXiv.1905.07240","DOI":"10.48550\/arXiv.1905.07240"},{"key":"6_CR25","unstructured":"Rieffel, E., Polak, W.: Quantum Computing: A Gentle Introduction. The MIT Press (2014)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1016\/j.infsof.2006.09.008"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Sicilia, M., S\u00e1nchez-Alonso, S., Mora-Cantallops, M., Garc\u00eda-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","DOI":"10.1007\/978-3-030-58793-2_24"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.48550\/arXiv.2104.14261"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Thapliyal, H., Mu\u00f1oz-Coreas, E.: Design of Quantum Computing Circuits. IT Prof. (2019). https:\/\/doi.org\/10.1109\/MITP.2019.2943134","DOI":"10.1109\/MITP.2019.2943134"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B.: Experimentation in Software Engineering. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-29044-2","DOI":"10.1007\/978-3-642-29044-2"},{"key":"6_CR31","doi-asserted-by":"publisher","unstructured":"Zhao, J.: Some size and structure metrics for quantum software. Q-SE (2020). https:\/\/doi.org\/10.48550\/arXiv.2103.08815","DOI":"10.48550\/arXiv.2103.08815"}],"container-title":["Quantum Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64136-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T13:07:38Z","timestamp":1727356058000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64136-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031641350","9783031641367"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64136-7_6","relation":{},"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"23 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}