机构名称：
¥ 1.0
量子计算机的快速普及势必会打破数十年来的若干计算限制，但它也势必会在软件测试等领域带来重大挑战。测试是指在复制真实场景的体外环境中执行软件以确定其正确行为 [3]。尽管如此，在经典计算领域，测试已经得到了广泛的研究，并且已经提出了多种方法和工具 [1]，但此类量子程序 (QP) 方法仍处于起步阶段 [10]。值得注意的是：(i) QP 比经典程序难开发得多，因此，大多数熟悉经典世界的程序员更容易在违反直觉的量子编程中犯错误 [6]；(ii) QP 必然是概率性的，不可能在不中断执行或不损害其结果的情况下进行检查 [7]。因此，确保 QP 的正确实现在量子计算领域更具挑战性 [4]。
用 QISKit 编写的量子程序的变异测试
主要关键词
相关文件推荐
