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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Quantum Testing and Validation

  • Aruna Jayasena,
  • Emma Andrews,
  • Prabhat Mishra

摘要

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.