.png){kind=icon}
.png){kind=icon}
Return
Generating Property-Based Tests for Quantum Algorithms
.png){kind=icon}
PRE
AI
DOI：10.1007/978-981-96-7423-7_2.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The stochastic nature of quantum software introduces unique challenges for its verification, as traditional testing techniques may be insufficient for handling the probabilistic characteristics of quantum systems. This paper proposes an alternative method for autogenerating unit tests in quantum computing, particularly for quantum oracles in fundamental algorithms like quantum teleportation. Property-based testing is used, addressing assertions related to classical values, quantum superposition, and entanglement. The testing method involves specifying properties abstractly and autogenerating tests through Exemplar-Based Development. The approach is language-agnostic and adaptable to different assertion techniques, demonstrating its ability to test quantum algorithms in multiple programming languages. This work marks progress in quantum software verification, aiding the broader adoption of quantum computing across various sectors.
Keywords:
Quantum Testing
Quantum Computing
Quantum Software Engineering
Quantum Property-based Testing