Authors:
Javier Ibarra Veganzones
1
;
Danel Arias Alamo
1
;
Alfredo Cuzzocrea
2
and
Pablo García Bringas
1
Affiliations:
1
University of Deusto, Avda. Universidades 24, Bilbao, Spain
;
2
University of Calabria, Rende, Cosenza, Italy
Keyword(s):
Quantum Computing, Quantum Software Testing, Debugging, Swap Test, Circuit Assertions, Quantum Verification.
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.