Mutation Testing of Quantum Programs Written 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: Proceedings - International Conference on Software Engineering

Pages: 358-359

44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022

22 May 2022 through 27 May 2022

Indexing

ISI Web of Knowledge - 0 Citations

Other information

Authenticus ID: P-00X-6RX

DOI: 10.1145/3510454.3528649

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 operations, we investigated a novel set of mutation operators to generate mutants based on qubit measurements and quantum gates. To ease the adoption of quantum mutation testing, we further discuss QMutPy, an extension of the well-known and fully automated open-source mutation tool MutPy. To evaluate QMutPy's performance we conducted a case 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 on the current state of quantum tests.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 2