QuSBT: Search-Based Testing of Quantum Programs

Wang, Xinyi; Arcaini, Paolo; Yue, Tao; Ali, Shaukat

doi:10.1109/icse-companion55297.2022.9793826

Cited by 2 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…13 we show a classification of types of testing techniques for quantum software. It was extracted from [63,[74][75][76][77][78][79][80][81][82][83][84], which treat specific techniques and tools for debugging and testing.…”

Section: Fig 12 Quantum Programming Branchesmentioning

confidence: 99%

See 1 more Smart Citation

The Foundations of Quantum Computing and Their Relation to Software Engineering

Juárez-Ramírez,

Navarro-Cota,

Jiménez

et al. 2024

Proceedings of ISP RAS

View full text Add to dashboard Cite

The principles of quantum mechanics – superposition, entanglement, measurement, and decoherence – form the foundation of quantum computing. Qubits, which are abstract objects having a mathematical expression to implement the rules of quantum physics, are the fundamental building blocks of computation. Software is a key component of quantum computing, along with quantum hardware. Algorithms make up software, and they are implemented using logic gates and quantum circuits. These qualities make quantum computing a paradigm that non-physicists find difficult to comprehend. It is crucial to incorporate a conceptual framework of the principles upon which quantum computing is founded into this new method of creating software. In this paper, we present a kind of taxonomical view of the fundamental concepts of quantum computing and the derived concepts that integrate the emerging discipline of quantum software engineering. Because the systematic review's main goal is to identify the core ideas behind quantum computing and quantum software, we conducted a quasi-systematic mapping as part of the review process. The findings can serve as a starting point for computer science teachers and students to address the study of this field.

show abstract

Section: Fig 12 Quantum Programming Branchesmentioning

confidence: 99%

“…Quantum noise provides an effective built-in fuzzing capability that is centered around the actual answer to a computation. Specialized techniques are introduced for testing quantum software, such as search-based [79], mutation-based [24,76,82], and property-based [24,78].…”

Section: Fig 13 Quantum Programming Branchesmentioning

confidence: 99%

The Foundations of Quantum Computing and Their Relation to Software Engineering

Juárez-Ramírez,

Navarro-Cota,

Jiménez

et al. 2024

Proceedings of ISP RAS

View full text Add to dashboard Cite

show abstract

Verification and Validation of Quantum Software

Fortunato,

Jiménez-Navajas,

Campos

et al. 2024

Quantum Software

View full text Add to dashboard Cite

Quantum software—like classic software—needs to be designed, specified, developed, and, most importantly, tested by developers. Writing tests is a complex, error-prone, and time-consuming task. Due to the particular properties of quantum physics (e.g., superposition), quantum software is inherently more complex to develop and effectively test than classical software. Nevertheless, some preliminary works have tried to bring commonly used classical testing practices for quantum computing to assess and improve the quality of quantum programs. In this chapter, we first gather 16 quantum software testing techniques that have been proposed for the IBM quantum framework, Qiskit. Then, whenever possible, we illustrate the usage of each technique (through the proposed tool that implements it, if available) on a given running example. We showcase that although several works have been proposed to ease the burn of testing quantum software, we are still in the early stages of testing in the quantum world. Researchers should focus on delivering artifacts that are usable without much hindrance to the rest of the community, and the development of quantum benchmarks should be a priority to facilitate reproducibility, replicability, and comparison between different testing techniques.

show abstract

QuSBT: Search-Based Testing of Quantum Programs

Cited by 2 publications

References 10 publications

The Foundations of Quantum Computing and Their Relation to Software Engineering

The Foundations of Quantum Computing and Their Relation to Software Engineering

Verification and Validation of Quantum Software

Contact Info

Product

Resources

About