跳到主要内容
检索

# 量子库静默缺陷检测

1 篇关联报道

订阅更新
  1. arXiv

    QuSema以量子语义为源码级判据,在Qiskit与PennyLane中定位20个历史静默缺陷并发现40个经维护者确认的新缺陷

    作者提出QuSema,一个以量子语义与文档作为源码级语义判据的自主测试智能体,通过“上下文单元准备—语义缺陷检测—库API触发与验证”三阶段流程,判断实现逻辑能否由合法输入产生非法输出;在Qiskit与PennyLane的20个历史静默缺陷基准上,其平均缺陷复现数高于Claude Code与Codex,并在两个库中发现40个经维护者确认的新缺陷,其中30个为静默缺陷。

已读完全部报道