QMutPy: A mutation testing tool for Quantum algorithms and applications in Qiskit

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

Authors

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

Conference proceedings International

Title: ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

Pages: 797-800

Indexing

Scopus - 17 Citations

Other information

Authenticus ID: P-00Y-DBM

DOI: 10.1145/3533767.3543296

Abstract (EN): There is an inherent lack of knowledge and technology to test a quantum program properly. In this paper, building on the definition of syntactically equivalent quantum gates, we describe our efforts in developing a tool, coined QMutPy, leveraging the well-known open-source mutation tool MutPy. We further discuss the design and implementation of QMutPy, and the usage of a novel set of mutation operators that generate mutants for qubit measurements and gates. To evaluate QMutPy's performance, we conducted a preliminary study on 11 real quantum programs written in the IBM's Qiskit library. QMutPy has proven to be an effective quantum mutation tool, providing insight into the current state of quantum tests. QMutPy is publicly available at https://github.com/danielfobooss/mutpy. Tool demo: https://youtu.be/fC4tOY5trqc.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 3