Mutation testing of quantum programs written in QISKit

Fortunato, Daniel; Campos, José; Abreu, Rui

doi:10.1145/3510454.3528649

Mutation testing of quantum programs written in QISKit

Daniel Fortunato
(
- Porto U.
)
,
José Campos
(
- LIP, Lisbon and
- Porto U.
)
,
Rui Abreu
(
- Porto U.
)

May, 2022

2 pages

Contribution to:

- ICSE 2022

Published: 2022
and
Published: May, 2022

DOI:

reference search11 citations

Citations per year

Abstract: (Association for Computing Machinery)

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.

Computers
Codes
Qubit
Buildings
Logic gates
Libraries
Open source software
object-oriented methods
program testing
quantum gates

References(12)

Figures(0)

[1]

Hadi Hemmati, Gordon Fraser, Andrea Arcuri, and Jundefinednis Benefelds.. An Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application. In Proceedings of the 39th ICSE-SEIP., DOI: /doi/

M. Moein Almasi

•
DOI:
- 10.1109/ICSE-SEIP.2017.27

[2]

Mark Fingerhuth, Tomáš Babej, and Peter Wittek.. Open source software in quantum computing. PLOS ONE

[3]

Gordon Fraser and José Miguel Rojas.. Software Testing

•
DOI:
- 10.1007/978-3-030-00262-6_4

[4]

Yipeng Huang and Margaret Martonosi.. QDB: from quantum algorithms towards correct quantum programs. arXiv preprint

•
e-Print:
- 1811.05447

[5]

Stochastic Optimization of Quantum Programs

P. Liu
,
S. Hu
,
M. Pistoia
,
C.R. Chen
,
J.M. Gambetta

- Computer 52 (2019) 6
•
DOI:
- 10.1109/MC.2019.2909711

[6]

and Lei Zhang.. On Testing Quantum Programs. CoRR abs/

Andriy V. Miranskyy

•
e-Print:
- 1812.09261

[6]

Andriy V. Miranskyy

•
e-Print:
- 1812.09261

[7]

Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press., DOI: /doi/

Michael A. Nielsen
,
Isaac L. Chuang

•
DOI:
- 10.5555/1972505

[8]

Goran Petrović, Marko Ivanković, Gordon Fraser, and René Just.. Does Mutation Testing Improve Testing Practices?. In Proc. of the 43rd

•
DOI:
- 10.1109/ICSE43902.2021.00087

[9]

Goran Petrović, Marko Ivanković, Gordon Fraser, and René Just.. Practical Mutation Testing at Scale: A view from Google

[10]

Quantum Software Engineering: Landscapes and Horizons

Jianjun Zhao
(
- Kyushu U.
)

e-Print:
- 2007.07047

[11]

Pengzhan Zhao, Jianjun Zhao, and Lei Ma.. Identifying Bug Patterns in Quantum Programs. In Proc. of the 2nd

Q-Se

•
DOI:
- 10.1109/Q-SE52541.2021.00011