AssertsQ: A Quantum Assertion Tool for Quantum Software Debugging

Javier Ibarra Veganzones, Danel Arias Alamo, Alfredo Cuzzocrea, Pablo García Bringas

2025

Abstract

Quantum software debugging faces significant challenges due to measurement-induced state collapse, decoherence, and gate noise. We introduce AssertsQ, a framework that integrates assertion-based debugging into Qiskit, enabling automated verification of quantum circuits. AssertsQ provides three key validation methods: Swap Test-based state fidelity checks, measurement-based Total Variation Distance (TVD) comparisons, and noise-aware assertions adaptable to real hardware constraints. Our evaluation on benchmark circuits, including GHZ, QFT, and Grover’s algorithm, demonstrates the framework’s ability to detect errors and quantify fidelity degradation under noise. By simplifying quantum circuit verification, AssertsQ enhances the reliability of quantum software in the NISQ era.

Paper Citation

in Harvard Style

Veganzones J., Alamo D., Cuzzocrea A. and Bringas P. (2025). AssertsQ: A Quantum Assertion Tool for Quantum Software Debugging. In Proceedings of the 1st International Conference on Quantum Software - Volume 1: IQSOFT; ISBN 978-989-758-761-0, SciTePress, pages 49-60. DOI: 10.5220/0013553300004525

in Bibtex Style

@conference{iqsoft25,
author={Javier Veganzones and Danel Alamo and Alfredo Cuzzocrea and Pablo Bringas},
title={AssertsQ: A Quantum Assertion Tool for Quantum Software Debugging},
booktitle={Proceedings of the 1st International Conference on Quantum Software - Volume 1: IQSOFT},
year={2025},
pages={49-60},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013553300004525},
isbn={978-989-758-761-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 1st International Conference on Quantum Software - Volume 1: IQSOFT
TI - AssertsQ: A Quantum Assertion Tool for Quantum Software Debugging
SN - 978-989-758-761-0
AU - Veganzones J.
AU - Alamo D.
AU - Cuzzocrea A.
AU - Bringas P.
PY - 2025
SP - 49
EP - 60
DO - 10.5220/0013553300004525
PB - SciTePress