在古典软件工程中，测试是质量保证最受欢迎，最有效的技术之一，尽管本质上是不完整的。软件测试易于学习和使用，并享受丰富的工具支持。相反，正式的验证技术，从理论上讲，这些技术对规范提供了完整的正确性证明，仅由于对专家技能和缺乏可扩展性的需求高，主要用于安全至关重要的领域。在量子计算中，最先进的是相反的：许多最近的作品将正式的验证技术提升为量子程序[CH21]，而到目前为止，只有很少的测试方法[GA23]。正式验证的目的是证明程序抽象相对于规范的逻辑正确性，而执行环境通常被抽象出来。这对于可靠性达到几乎无能为力的古典计算机是合理的（例如，开发人员不必担心程序变量如何物理存储）。相比之下，对于嘈杂的中间量子量子（NISQ）时代中的量子计算，此假设是不可行的：尽管从逻辑上满足指定性，但在量子计算机上执行时，量子程序仍可能显示出意外的行为。因此，还必须通过检查与目标环境的相互作用来系统地测试验证量子程序的运行时行为。但是，将经典测试技术提升到量子程序并不是直接的，因为量子的假设受到了许多假设的阻碍