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.

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

Generating Property-Based Tests for Quantum Algorithms

  • Antonio García de la Barrera,
  • Manuel Ángel Serrano,
  • Ignacio García-Rodríguez de Guzmán,
  • Macario Polo,
  • Mario Piattini

摘要

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.