Formalization of Structural Test Cases Coverage Criteria for Quantum Software Testing

Kumar, Ajay

doi:10.1007/s10773-022-05271-y

Cited by 7 publications

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

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

Verification and Validation of Quantum Software

Fortunato,

Jiménez-Navajas,

Campos

et al. 2024

Quantum Software

View full text Add to dashboard Cite

show abstract

Quantum software engineering and quantum software development lifecycle: a survey

Dwivedi,

Haghparast,

Mikkonen

2024

Cluster Comput

View full text Add to dashboard Cite

Quantum software engineering is advancing in the domain of quantum computing research and application, yet the documentation is scattered. The slow transition from Von-Neumann based computation systems to quantum systems, and conserving the fundamental computing principles in software development and software engineering helps in enrichment of quantum software development. The evolution of quantum computing over the past years shows a shift in the domain of classical computation to quantum computation in the years to come. Future applications such as, quantum AI and quantum machine learning will benefit from quantum software engineering. This survey collects and explores the various documentations in the domain of quantum systems and quantum software engineering. The survey provides an in-depth exploration of quantum programming languages, which is combined with explanations of quantum computing’s fundamentals. The review also goes in-depth about quantum software engineering and quantum software life cycle development, outlining the quantum software reuse methodology that is introduced in the quantum software lifecycle development domain.

show abstract