On Testing and Debugging Quantum Software

Miranskyy, Andriy; Zhang, Lei; Doliskani, Javad

doi:10.48550/arxiv.2103.09172

Cited by 7 publications

(6 citation statements)

References 65 publications

(116 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besides Q#, there is some work done on debugging quantum circuits at run time [54], or using statistical methods [55]. Some work have also been done on trying to establish a quantum programming development cycle, similar to the classical software cycle to suggest different techniques that can be used in each step [5] [56] and the debugging tactics for quantum algorithms [56].…”

Section: Related Work and Discussionmentioning

confidence: 99%

A Tool For Debugging Quantum Circuits

Metwalli¹,

Meter²

2022

Preprint

View full text Add to dashboard Cite

As the scale of quantum programs grows to match that of classical software, the nascent field of quantum software engineering must mature and tools such as debuggers will become increasingly important. However, developing a quantum debugger is challenging due to the nature of a quantum computer; sneaking a peek at the value of a quantum state will cause either partial or complete collapse of the superposition and may destroy the necessary entanglement. As a first step to developing a full quantum circuit debugger, we have designed and implemented a quantum circuit debugging tool. The tool allows the user to divide the circuit vertically or horizontally into smaller chunks known as slices, and manage their simulation or execution for either interactive debugging or automated testing. The tool also enables developers to track gates within the overall circuit and each chunk to understand their behavior better. Feedback on usefulness and usability from early users shows that using the tool to slice and test their circuits has helped make the debugging process more time-efficient for them.

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

A Tool For Debugging Quantum Circuits

Metwalli¹,

Meter²

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…Miransky et al [20] recently introduced the concept of testing and debugging quantum software based on use cases for quantum software. Ali et al [21] proposed the Quantum Input Output coverage (Quito) for three coverage criteria defined by the input and output of the quantum program.…”

Section: Prior Workmentioning

confidence: 99%

Development of a Tool for Finding Equivalent Mutants in Quantum Program: A Perspective to Measure the Quality of Quantum Software

Kumar

Kwatra

Garhwal

2022

Preprint

View full text Add to dashboard Cite

Software testing is an important activity to ensure the software's quality. Mutation testing is a fault-based technique for checking the effectiveness of test cases for the verification and validation of software. Testing quantum programs is challenging due to the involvement of quantum mechanics concepts (such as superposition and entanglement ) and the probabilistic nature of the outcome. In this paper, We will propose the modified mutation testing approach for quantum program. The proposed approach will help to reduce the cost, time, and effort of performing the mutation testing. Moreover, we also propose a method for determining the equivalent mutant and developing a tool to check whether the mutated and original quantum program behave semantically equivalent or differently.

show abstract

“…Finally, in a previous study, 56 Miranskyy et al discuss several use cases for quantum algorithms. Based on this, they address the use of quantum components as black-box artifacts in solution libraries and compare two approaches to the testing of quantum components: a unitary test perspective and a System of Systems (SoS) approach.…”

Section: Overviewsmentioning

confidence: 99%

Quantum software testing: State of the art

Barrera

Guzmán

Polo

et al. 2021

J Software Evolu Process

View full text Add to dashboard Cite

Quantum computing is expected to exponentially outperform classic computing on a broad set of problems, including encryption, machine learning, and simulations. It has an impact yet to explore on all software lifecycle's processes and techniques. Testing quantum software raises a significant number of challenges due to the unique properties of quantum physics-such as superposition and entanglementand the stochastic behavior of quantum systems. It is, therefore, an open research issue. In this work, we offer a systematic mapping study of quantum software testing engineering, presenting a comprehensive view of the current state of the art. The main identified trends in testing techniques are (1) the statistic approaches based on repeated measurements and (2) the use of Hoare-like logics to reason about software correctness.Another relevant line of research is reversible circuit testing, which is partially applicable to quantum software unitary testing. Finally, we have observed a flourishing of secondary studies and frameworks supporting testing processes from 2018 onwards. | INTRODUCTIONQuantum computing (QC) processes information using quantum mechanics principles. In comparison to classic computing (CC), this paradigm has the potential to solve specific problems with exponential speedup. 1 QC has a wide number of applications and is expected to outperform CC in two particular kinds of computations 2 :• Applications that involve large amounts of parallel computing such as encryption, 3 big data, 4 optimization, 5 or machine learning. 6• Simulation of quantum natural phenomena, such as chemistry, 7 physics, 8 and materials science. 9With the growing accessibility of quantum computers and simulators, many concerns have arisen related to quantum software and its lifecycle and quality. Quantum software will be developed in a large-scale industrial context in the same way that classic software is nowadays produced. This implies that quantum software must be developed, operated, and maintained in a systematic, disciplined, and quantifiable manner; that is, quantum software development must be supported by a yet nonexisting body of knowledge on quantum software engineering (QSE) that must be developed to avoid a quantum software crisis. Some authors have already voiced the need to "build a community for QSE that focuses on devising methods, tools, and processes for developing quantum software systems efficiently" 10 and the need for an agenda that sets out a solid, rigorous software engineering (SE) discipline for quantum systems. 11 Others are convinced that QC could bring a "new SE golden age", 12 identifying several priority areas to be developed in QSE.

show abstract

On Testing and Debugging Quantum Software

Cited by 7 publications

References 65 publications

A Tool For Debugging Quantum Circuits

A Tool For Debugging Quantum Circuits

Development of a Tool for Finding Equivalent Mutants in Quantum Program: A Perspective to Measure the Quality of Quantum Software

Quantum software testing: State of the art

Contact Info

Product

Resources

About