Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Mutation Testing of Quantum Programs: A Case Study With Qiskit
Publication

Publications

Mutation Testing of Quantum Programs: A Case Study With Qiskit

Title
Mutation Testing of Quantum Programs: A Case Study With Qiskit
Type
Article in International Scientific Journal
Year
2022
Authors
Fortunato D.
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Rui Abreu
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Journal
The Journal is awaiting validation by the Administrative Services.
Pages: 1-17
Indexing
Other information
Authenticus ID: P-00Y-DBJ
Abstract (EN): As quantum computing is still in its infancy, there is an inherent lack of knowledge and technology to test a quantum program properly. In the classical realm, mutation testing has been successfully used to evaluate how well a program's test suite detects seeded faults (i.e., mutants). In this article, building on the definition of syntactically equivalent quantum operations, we propose 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 propose 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 24 real quantum programs written in IBM's Qiskit library. Furthermore, we show how better test suite coverage and improvements to test assertions can increase the test suites' mutation score and quality. QMutPy has proven to be an effective quantum mutation tool, providing insight into the current state of quantum tests and how to improve them.
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

QMutPy: A mutation testing tool for Quantum algorithms and applications in Qiskit (2022)
Article in International Conference Proceedings Book
Fortunato D.; José Campos; Rui Abreu
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-10 at 01:17:04 | Privacy Policy | Personal Data Protection Policy | Whistleblowing