Is your quantum program bug-free?

Miranskyy, Andriy; Zhang, Lei; Doliskani, Javad

doi:10.1145/3377816.3381731

Cited by 19 publications

(12 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We express profuse thanks to the anonymous reviewers of this paper and of [59] and [93]. We are also grateful to the ICSE 2020 committee for rewarding [93] with the New Ideas and Emerging Results Distinguished Paper Award.…”

Section: Acknowledgmentsmentioning

confidence: 91%

“…But what if we would like to analyze a QC program at runtime using a white-box approach, e.g., to capture the execution trace of a QC program or perform interactive debugging of the code executed on the QC? In such a case, the short answer is 'it depends' [93]. Before we delve into the answers, let us compare and formally define classic and quantum models of computation, which will help us understand the issues with debugging quantum programs.…”

Section: Debugging Tacticsmentioning

confidence: 99%

See 1 more Smart Citation

On Testing and Debugging Quantum Software

Miranskyy¹,

Zhang²,

Doliskani³

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we discuss various use-cases for quantum computers, either standalone or as part of a System of Systems. Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software. We also highlight quantum-computerspecific issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.

show abstract

Section: Acknowledgmentsmentioning

confidence: 91%

Section: Debugging Tacticsmentioning

confidence: 99%

On Testing and Debugging Quantum Software

Miranskyy¹,

Zhang²,

Doliskani³

2021

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…Despite the rapid development of QCs, we conjecture that QCs will not replace CCs in the short run. Instead, QCs will be integrated into a System of Systems via private or public Cloud service [20,21,22]. Aggregated Cloud services are starting to appear as well.…”

Section: The Timeline Of Qcsmentioning

confidence: 99%

Making Existing Software Quantum Safe: Lessons Learned

Zhang¹,

Miranskyy²,

Rjaibi³

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

In the era of quantum computing, Shor's algorithm running on quantum computers (QCs) can break asymmetric encryption algorithms that classical computers essentially cannot. QCs, with the help of Grover's algorithm, can also speed up the breaking of symmetric encryption algorithms. Though the exact date when QCs will become "dangerous" for practical problems is unknown, the consensus is that this future is near. Thus, one needs to start preparing for the era of quantum advantage and ensure quantum safety proactively.In this paper, we discuss the effect of quantum advantage on the existing software systems and recap our seven-step roadmap, deemed 7E. The roadmap gives developers a structured way to start preparing for the quantum advantage era. We then report the results of a case study, which validates 7E. Our software under study is the IBM Db2 database system, where we upgrade the existing cryptographic schemes to post-quantum cryptography (using Kyber and Dilithium schemes) and report our findings and learned lessons. The outcome of the study shows that the 7E roadmap is effective in helping to plan the evolution of existing software security features towards quantum safety.

show abstract

“…In addition to testing the artifacts in isolation, so-called integration tests should be performed to verify if the independently developed artifacts work together correctly [94]. Although there are some testing and verification approaches for quantum circuits, the development of a holistic testing strategy for hybrid quantum applications is still an open research question [4,58,83].…”

Section: Testingmentioning

confidence: 99%

“…But then additional ancilla qubits and gates are required, limiting the applicability with today's restricted quantum computers [69]. Another approach adapted from classical software engineering is white-and black-box testing, e.g., utilizing a simulator if this is feasible for the quantum circuit size [58,80]. Further, quantum circuits can also be verified by experts or using automated approaches [4,83].…”

Section: Testing and Verificationmentioning

confidence: 99%

The Quantum software lifecycle

Weder

Barzen

Leymann

et al. 2020

Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software

View full text Add to dashboard Cite

With recent advances in the development of more powerful quantum computers, the research area of quantum software engineering is emerging, having the goal to provide concepts, principles, and guidelines to develop high-quality quantum applications. In classical software engineering, lifecycles are used to document the process of designing, implementing, maintaining, analyzing, and adapting software. Such lifecycles provide a common understanding of how to develop and operate an application, which is especially important due to the interdisciplinary nature of quantum computing. Since today's quantum applications are, in most cases, hybrid, consisting of quantum and classical programs, the lifecycle for quantum applications must involve the development of both kinds of programs. However, the existing lifecycles only target the development of quantum or classical programs in isolation. Additionally, the various programs must be orchestrated, e.g., using workflows. Thus, the development of quantum applications also incorporates the workflow lifecycle. In this chapter, we analyze the software artifacts usually comprising a quantum application and present their corresponding lifecycles. Furthermore, we identify the points of connection between the various lifecycles and integrate them into the overall quantum software development lifecycle. Therefore, the integrated lifecycle serves as a basis for the development and execution of hybrid quantum applications.

show abstract

Is your quantum program bug-free?

Cited by 19 publications

References 27 publications

On Testing and Debugging Quantum Software

On Testing and Debugging Quantum Software

Making Existing Software Quantum Safe: Lessons Learned

The Quantum software lifecycle

Contact Info

Product

Resources

About