QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit

被引：16

作者：

Fortunato, Daniel ^{[1
,2
]}

Campos, Jose ^{[1
,3
]}

Abreu, Rui ^{[1
,2
]}

机构：

[1] Univ Porto, Fac Engn, Porto, Portugal

[2] INESC ID, Lisbon, Portugal

[3] LASIGE, Lisbon, Portugal

来源：

PROCEEDINGS OF THE 31ST ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2022 | 2022年

关键词：

Quantum computing; Quantum software engineering; Quantum software testing; Quantum mutation testing;

D O I：

10.1145/3533767.3543296

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：797 / 800

页数：4

共 24 条

[1] Beller Moritz, 2021, arXiv
[2] Bingham Austin, Cosmic Ray: mutation testing for Python
[3] Open source software in quantum computing
Fingerhuth, Mark
Babej, Tomas
Wittek, Peter
[J]. PLOS ONE, 2018, 13 (12):
[4] Fortunato D, 2022, PROC IEEE ACM INT C, P358, DOI [10.1109/ICSE-Companion55297.2022.9793776, 10.1145/3510454.3528649]
[5] Halas Konrad, 2011, MutPy: A Mutation Testing Tool for Python 3.x Source Code
[6] Achieving Scalable Model-Based Testing Through Test Case Diversity
Hemmati, Hadi
Arcuri, Andrea
Briand, Lionel
[J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2013, 22 (01)
[7] Honarvar S., 2020, P IEEEACM 42 INT C S, P430, DOI DOI 10.1145/3387940.3391459
[8] Hovmoller Anders, 2016, Mutmut: a Python mutation testing system
[9] An Analysis and Survey of the Development of Mutation Testing
Jia, Yue
Harman, Mark
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2011, 37 (05) : 649 - 678
[10] Juristo N., 2006, IEEE Software, V23, P19, DOI DOI 10.1109/MS.2006.104

← 1 2 3 →