Quantum Testing and Validation
摘要
Quantum computingQuantum computing holds the promise of revolutionizing computation by solving classically intractable problems. However, the inherent complexity, probabilistic behavior, and fragility of quantum systems pose significant challenges to ensuring the correctness and reliability of quantum programs. In this chapter, we present a comprehensive survey of quantum testingQuantum testing techniques aimed at addressing these challenges across various layers of the quantum software and hardware stack. Specifically, we analyze a wide range of testing techniques, including mutation testingMutation testing, fuzz testing, coverage testing, combinatorial testingCombinatorial testing, search-based testingSearch-based testing, property-based testingProperty-based testing, metamorphic testingMetamorphic testing, fault testing, and concolic testingConcolic testing. We also discuss the applicability and limitations of these testing methods.