量子科技中心_量科网

该研究团队提出了QUT（量子单元测试）框架的架构设计与原型实现，该框架专注于量子子程序的单元测试。该设计以易用性和简洁性为核心，使得量子单元测试背后复杂的理论概念能够被不同背景的用户广泛理解。这一目标通过实现多态概率断言达成——其评估方法会根据断言语句中参数的数据类型自动适配，这些参数可能随量子子程序的上下文语义变化而呈现为量子比特测量结果、密度矩阵或Choi矩阵等不同形式。针对每种数据类型，该架构整合了特定的测试协议（如量子过程层析、量子态层析或皮尔逊卡方检验），同时保持足够的灵活性以便未来扩展更多协议。该框架基于Qiskit软件栈构建，可兼容多种量子硬件后端和模拟平台。通过借鉴量子子程序指称语义的逻辑基础，该工作还着重阐释了量子单元测试与传统单元测试的关键差异。