Gate Branch Coverage: A Metric for Quantum Software Testing

• Type: Article in International Conference Proceedings Book
• Date: 2024

Authors

Fortunato, D (Author) Other; José Campos (Author) FEUP; Rui Abreu (Author) FEUP

Conference proceedings International

Title: PROCEEDINGS OF THE 1ST ACM INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING:THE NEXT EVOLUTION, QSE-NE 2024

Pages: 15-18

1st ACM International Workshop on Quantum Software Engineering:The Next Evolution (QSE-NE)

Porto de Galinhas, BRAZIL, JUL 16-16, 2024

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 0 Citations

Other information

Authenticus ID: P-011-7FA

DOI: 10.1145/3663531.3664753

Abstract (EN): The inherent lack of technologies and knowledge from software developers about the intricacies of quantum physics constitutes a heavy hindrance in the development of correct quantum software. Therefore, quantum computing testing techniques are currently under heavy research. This paper proposes a new testing metric, Gate Branch Coverage. This metric aims to provide insight into the verification process status of quantum programs and enhance the quantum testing process overall. Gate Branch Coverage explores the properties of quantum controlled-type gates, measuring their number of exercised branches during the execution of quantum programs.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 4