论文标题
morphq：Qiskit量子计算平台的变质测试
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
论文作者
论文摘要
随着量子计算变得越来越流行，基础量子计算平台的能力和复杂性都在增长。不幸的是，由于现有的量子程序数量相对较少，并且由于缺乏计划期望行为的规格，对这些平台进行测试是具有挑战性的。本文介绍了morphq，这是量子计算平台的第一种变质测试方法。我们的两个关键贡献是（i）一个程序生成器，该程序生成器会创建一组有效的（即无碰撞）量子程序，以及（ii）一组利用量子特异性变质关系以减轻甲骨文问题的程序转换。通过测试流行的Qiskit平台来评估该方法表明，该方法在两天内创建超过8k的程序对，其中许多可能会暴露出崩溃。检查坠机事故，我们发现13个错误，其中9个已被确认。 morphq扩大了量子计算平台测试技术的细长组合，有助于为这个日益重要的字段创建可靠的软件堆栈。
As quantum computing is becoming increasingly popular, the underlying quantum computing platforms are growing both in ability and complexity. Unfortunately, testing these platforms is challenging due to the relatively small number of existing quantum programs and because of the oracle problem, i.e., a lack of specifications of the expected behavior of programs. This paper presents MorphQ, the first metamorphic testing approach for quantum computing platforms. Our two key contributions are (i) a program generator that creates a large and diverse set of valid (i.e., non-crashing) quantum programs, and (ii) a set of program transformations that exploit quantum-specific metamorphic relationships to alleviate the oracle problem. Evaluating the approach by testing the popular Qiskit platform shows that the approach creates over 8k program pairs within two days, many of which expose crashes. Inspecting the crashes, we find 13 bugs, nine of which have already been confirmed. MorphQ widens the slim portfolio of testing techniques of quantum computing platforms, helping to create a reliable software stack for this increasingly important field.
