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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2022

Autores

Fortunato D. (Autor) Outra; José Campos (Autor) FEUP; Rui Abreu (Autor) FEUP

Ata de Conferência Internacional

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

Páginas: 797-800

Indexação

Scopus - 17 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 3