Document Open Access Logo

Toward Entanglement Dependence Metrics for Quantum Software Complexity

Authors Haibo Yu , Jianjun Zhao

PDF

File

Thumbnail PDF
PDF
LIPIcs.ESEM.2026.79.pdf
  • Filesize: 0.64 MB
  • 13 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Software testing and debugging
  • Hardware → Quantum computation
Keywords
  • Quantum software engineering
  • quantum program analysis
  • entanglement dependence
  • software metrics
  • software complexity

Metrics

Abstract

Quantum software is often described using circuit-level metrics, including the number of qubits, the number of gates, circuit depth, the number of two-qubit gates, and the number of measurement operations. These metrics are useful for estimating program size and execution cost, but they do not directly describe whether and to what extent qubits become structurally related through possible entanglement during program execution. This paper argues that entanglement dependence provides a basis for measuring a quantum-specific form of software complexity. The proposed metrics capture possible entanglement-related structural dependence, not physical entanglement observed in a particular execution. Based on this notion, we define a focused set of six metrics that characterize the amount, density, local connectivity, global scope, program span, and modular crossing of entanglement-related dependencies. We also analyze these metrics using Weyuker’s properties for evaluating software complexity measures. The paper presents the metrics as a measurement framework and research direction for empirical quantum software engineering. It discusses how future studies can validate the metrics and examine their usefulness for testing, debugging, maintenance, and program comprehension of quantum software.

Cite As Get BibTex

Haibo Yu and Jianjun Zhao. Toward Entanglement Dependence Metrics for Quantum Software Complexity. In 20th International Symposium on Empirical Software Engineering and Measurement (ESEM 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 394, pp. 79:1-79:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.ESEM.2026.79

Author Details

Haibo Yu
  • Kyushu Sangyo University, Fukuoka, Japan
Jianjun Zhao
  • Kyushu University, Fukuoka, Japan

Funding

  • Yu, Haibo: JSPS KAKENHI Grant No. JP24K14908
  • Zhao, Jianjun: JSPS KAKENHI Grant Nos. JP26K02892 and JP26K23820

References

  1. Lionel C. Briand, John W. Daly, and Jurgen K Wust. A unified framework for coupling measurement in object-oriented systems. IEEE Transactions on software Engineering, 25(1):91-121, 1999. URL: https://doi.org/10.1109/32.748920.
  2. Jingde Cheng. Complexity metrics for distributed programs. In Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering, pages 132-141. IEEE, 1993. URL: https://doi.org/10.1109/ISSRE.1993.624282.
  3. Shyam R. Chidamber and Chris F. Kemerer. A metrics suite for object oriented design. IEEE Transactions on Software Engineering, 20(6):476-493, 1994. URL: https://doi.org/10.1109/32.295895.
  4. José A. Cruz-Lemus, Luis A. Marcelo, and Mario Piattini. Towards a set of metrics for quantum circuits understandability. In Quality of Information and Communications Technology, pages 239-249. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-85347-1_18.
  5. José A. Cruz-Lemus, Moisés Rodríguez, Raúl Barba-Rojas, and Mario Piattini. Quantum software quality metrics. In Quantum Software, pages 125-142. Springer, 2024. URL: https://doi.org/10.1007/978-3-031-64136-7_6.
  6. Norman Fenton and James Bieman. Software metrics: a rigorous and practical approach. CRC press, 2014. Google Scholar
  7. Jeanne Ferrante, Karl J Ottenstein, and Joe D Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems (TOPLAS), 9(3):319-349, 1987. URL: https://doi.org/10.1145/24039.24041.
  8. Maurice H. Halstead. Elements of Software Science. Elsevier, 1977. Google Scholar
  9. Sallie Henry and Dennis Kafura. Software structure metrics based on information flow. IEEE Transactions on Software Engineering, SE-7(5):510-518, 1981. URL: https://doi.org/10.1109/TSE.1981.231113.
  10. Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems (TOPLAS), 12(1):26-60, 1990. URL: https://doi.org/10.1145/77606.77608.
  11. Thomas J. McCabe. A complexity measure. IEEE Transactions on Software Engineering, SE-2(4):308-320, 1976. URL: https://doi.org/10.1109/TSE.1976.233837.
  12. Michael A Nielsen and Isaac L Chuang. Quantum computation and quantum information. Cambridge university press, 2010. Google Scholar
  13. Karl J Ottenstein and Linda M Ottenstein. The program dependence graph in a software development environment. ACM Sigplan Notices, 19(5):177-184, 1984. Google Scholar
  14. Simon Perdrix. Quantum entanglement analysis based on abstract interpretation. In International Static Analysis Symposium, pages 270-282. Springer, 2008. URL: https://doi.org/10.1007/978-3-540-69166-2_18.
  15. Andy Podgurski and Lori A Clarke. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering, 16(9):965-979, 1990. URL: https://doi.org/10.1109/32.58784.
  16. Miguel-Angel Sicilia, Marçal Mora-Cantallops, Salvador Sánchez-Alonso, and Elena García-Barriocanal. Quantum software measurement. In Quantum Software Engineering, pages 193-208. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-05324-5_10.
  17. Francisco Valdes-Souto, Hector G. Perez-Gonzalez, and Carlos A. Perez-Delgado. Q-COSMIC: Quantum software metrics based on COSMIC (ISO/IEC 19761), 2024. URL: https://arxiv.org/abs/2402.08505.
  18. Elaine J. Weyuker. Evaluating software complexity measures. IEEE Transactions on Software Engineering, 14(9):1357-1365, 1988. URL: https://doi.org/10.1109/32.6178.
  19. Shangzhou Xia and Jianjun Zhao. Static entanglement analysis of quantum programs. In 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE), pages 42-49. IEEE, 2023. URL: https://doi.org/10.1109/Q-SE59154.2023.00013.
  20. Haibo Yu and Jianjun Zhao. The quantum program dependence graph and its uses in quantum software development. In Proceedings of the 2025 IEEE/ACM 6th International Workshop on Quantum Software Engineering (Q-SE), pages 48-55. IEEE, 2025. URL: https://doi.org/10.1109/Q-SE66736.2025.00014.
  21. Jianjun Zhao. Some size and structure metrics for quantum software. In Proceedings of the 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE), pages 22-27. IEEE, 2021. URL: https://doi.org/10.1109/Q-SE52541.2021.00012.
  22. Horst Zuse. Software complexity: measures and methods, volume 4. Walter de Gruyter GmbH & Co KG, 1990. Google Scholar
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact