量子科技中心_量科网

量子模拟器是量子软件生态系统的基础组件，被广泛用于开发和调试量子程序、验证编译器转换，以及支持有关正确性与性能的实证主张。在缺乏大规模量子硬件的情况下，模拟器输出常被视作算法开发和系统评估的基准真相。然而，量子模拟器也带来独特的实现挑战——其必须在经典硬件上运行时精确模拟量子行为，这要求对量子态演化、算子组合和噪声建模进行复杂表征。但目前仍缺乏对量子模拟器故障的大规模深入研究。 为填补这一空白，该工作对广泛使用的开源量子模拟器中的缺陷展开了全面实证研究。研究人员分析了来自12个模拟器的394个已确认缺陷，并依据根本原因、故障表现、受影响组件和发现机制对其进行了人工分类。研究发现以下关键结论：首先，缺陷发现主要依赖用户驱动，大多数崩溃、异常和资源相关故障未被自动化测试检测到，而是在部署后才暴露；其次，逻辑正确性故障普遍存在且往往无提示，会生成看似合理但实际错误的输出而不触发崩溃或显式错误信号；第三，许多关键故障源于经典模拟器基础设施（如内存管理、索引、配置和依赖兼容性），而非核心量子执行逻辑。这些发现为理解量子模拟器的可靠性挑战提供了新视角，并指明了改进量子软件生态系统测试与验证实践的机遇。