机构名称：
¥ 1.0
摘要 — 随着量子计算越来越流行，底层量子计算平台的能力和复杂性都在增长。不幸的是，由于现有量子程序数量相对较少，并且存在预言问题，即缺乏对程序预期行为的规范，因此测试这些平台具有挑战性。本文介绍了 MorphQ，这是第一个用于量子计算平台的变质测试方法。我们的两个主要贡献是 (i) 一个程序生成器，它可以创建大量且多样化的有效（即不会崩溃的）量子程序集，以及 (ii) 一组利用量子特定变质关系来缓解预言问题的程序转换。通过测试流行的 Qiskit 平台对该方法进行评估表明，该方法在两天内创建了超过 8000 个程序对，其中许多都暴露了崩溃。检查崩溃后，我们发现了 13 个错误，其中 9 个已经得到确认。MorphQ 扩大了量子计算平台测试技术的范围，有助于为这个日益重要的领域创建可靠的软件堆栈。
Qiskit 量子计算平台的变质测试
主要关键词
相关文件推荐
