量子科技中心_量科网

量子程序通常以 OpenQASM 3 电路的形式共享，但测试仍使用 Qiskit 等宿主语言（如 Python）编写。该团队提出了 QUTest，这是一个原生框架，其中程序和测试均为标准的 .qasm 文件。测试遵循 Arrange / Act / Assert 模式，而配置、运行时需求和断言则编码为 pragma 注释（//%），从而保持与现有 OpenQASM 工具的兼容性。QUTest 提供 12 种断言类型，涵盖确定性、统计性、量子态和结构性检查，此外还包含一个代码检查器和一个环境感知模式，可在隔离环境中跨选定的运行时版本运行同一测试。其 CLI 支持自动测试发现、运行时兼容性检查以及用于持续集成的 XML 报告。本文描述了 pragma 语言、实现方案以及计划使用覆盖率和变异测试进行的评估。QUTest 可通过 https://github.com/QBugs/qutest 获取。视频演示：https://youtu.be/FvgvsiAXuW0。