Software Testing in the Quantum World
本文通过概述关键的测试挑战，并提出直接在真实量子计算机上运行的质量保证方法的软件工程视角，探讨了通过经典模拟验证复杂量子软件正日益变得不可行的这一问题。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一下，你正在尝试测试一个极其复杂的新蛋糕配方。在过去（经典计算时代），你可以在自己的厨房里烤出一个完美的蛋糕版本，品尝它，并检查每一个碎屑以确保它完全正确。但现在，想象一下这个配方已经变得如此庞大且复杂，以至于你无法在自己的厨房里完成烘焙。你必须在一个巨大的、混乱的工业工厂里进行烘焙，那里的烤箱是坏的，原料有时会缺失，温度也会剧烈波动。你无法一眼看清整个蛋糕，只能通过尝一小口来猜测其余部分的味道。
这篇由专家团队撰写的论文解释了如何为这些庞大且混乱的量子蛋糕制定新的“品尝”（测试）规则。以下是他们提出的观点，通过简单的概念进行了拆解：
1. 旧的方法不再奏效了（规模问题）
以前，科学家通过在普通计算机上模拟量子软件来测试它。这就像是在画一张蛋糕的图画，而不是真的去烤一个蛋糕。但随着量子程序变得越来越大，这个“图画”变得如此巨大，以至于普通计算机无法画得足够快，也没有足够的内存来容纳它。
- 类比： 在普通计算机上模拟量子计算机，就像试图通过填满一个浴缸里的水来绘制整个海洋的地图。这是不可能实现的。
- 解决方案： 我们需要停止尝试检查“一切”。相反，我们需要检查特定的“属性”（比如“蛋糕是否长高了？”或“是否够甜？”），而不是检查每一个分子。我们还需要将巨大的蛋糕切成较小的切片，在组合在一起之前先单独测试它们。
2. “品尝测试”变得更难了（测试预言机）
在普通的软件中，你给程序一个输入（比如“加入糖”），然后检查输出是否正好是“甜”。但在量子世界中，由于“工厂”存在噪声，输出永远不会两次完全相同。
- 类比： 想象你问一位朋友罐子里有多少颗糖豆。如果你只问一次，他们可能会猜错。如果你问 1,000 次，你就能得到一个可靠的平均值。
- 解决方案： 我们不能寻找完美的“是/否”答案。相反，我们需要寻找模式。结果是否“通常”表现得符合预期？我们需要检查蛋糕是否遵循物理规则（如对称性），而不是检查它的味道是否与特定配方完全一致。我们还需要检查整个过程，而不仅仅是蛋糕本身，因为工厂处理原料的方式同样重要。
3. 我们如何知道测试是否充分？（测试充分性）
在旧世界里，我们会问：“我们是否尝试了所有可能的路径？”而在量子世界里，那是做不到的。
- 类比： 与其问“我们是否开遍了城市里的每一条街道？”，不如问“我们是否行驶了足够多的不同街道，从而有 95% 的把握确定没有错过任何坑洼？”
- 解决方案： 我们需要衡量我们的“信心”。我们需要知道，如果存在漏洞（Bug），我们的测试是否足够敏感以能将其捕捉到。我们应该从几次测试运行开始，看看遗漏了什么，然后聪明地选择接下来的测试来填补空白，而不是仅仅进行随机猜测。
4. 利用量子计算机来测试自身
这里有一个转折：论文建议利用量子计算机来帮助我们测试量子软件。
- 类比： 这就像是使用一个超快速的机器人来寻找制作蛋糕的最佳原料，而不是由人类在巨大的仓库中搜寻。
- 解决方案： 量子计算机擅长搜索和解决谜题。我们可以利用它们快速找到最佳的测试用例，或者发现软件在哪里失效，从而充当人类测试者的助手。
5. 我们需要更好的工具和计分卡（基准测试与工具）
目前，测试工具非常混乱。它们之间的沟通并不顺畅，并且难以应对真实量子机器的“噪声”特性。
- 类比： 想象每个烘焙师都使用不同的尺子、不同的秤以及不同的方式来报告他们的结果。这将很难判断谁做的蛋糕最好。
- 解决方案： 社区需要就标准的“计分卡”达成一致。这些计分卡不应仅仅说“我们发现了 5 个漏洞”，它们应该说明：“我们使用了这么多资源，机器的噪声程度是多少，以及我们对结果的信心程度是多少。”我们还需要更好的软件工具，使其能够融入开发者的标准工作流，从而让测试不再成为一场噩梦。
核心结论
主要的挑战在于，我们不再能依赖完美的、安静的模拟。我们必须在真实的、多噪的、不完美的机器上测试这些庞大的程序。为了做到这一点，我们必须停止尝试检查每一个细节，转而使用聪明的统计方法，来检查软件在“大多数时间”内是否表现正确，并保持高度的信心。如果我们能解决这个问题，我们就能构建出在现实世界中真正可靠运行的量子软件。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。