论文标题
量子符号执行
Quantum Symbolic Execution
论文作者
论文摘要
随着量子计算的进步，研究人员现在可以编写和运行许多量子程序。但是，仍然缺乏调试量子程序的有效方法。在本文中，提出了量子符号执行（QSE）来生成测试用例，这有助于在量子程序中查找错误。量子符号执行的主要思想是从所有可能的测试用例（即测试案例空间）中找到合适的测试用例。它与经典符号执行方式不同，后者通过计算而不是搜索来获得测试用例。 QSE利用量子叠加和并行性来存储只有几个Qubit的测试案例空间。根据调试程序中的条件语句，将测试案例空间不断分为子集，子集等。同一子集中的元素是合适的测试用例，可以测试要测试的代码中的相应分支。 QSE不仅提供了调试量子程序的可能方法，而且还避免了解决经典符号执行中限制的困难问题。
With advances in quantum computing, researchers can now write and run many quantum programs. However, there is still a lack of effective methods for debugging quantum programs. In this paper, quantum symbolic execution (QSE) is proposed to generate test cases, which helps to finding bugs in quantum programs. The main idea of quantum symbolic execution is to find the suitable test cases from all possible ones (i.e. test case space). It is different from the way of classical symbol execution, which gets test cases by calculating instead of searching. QSE utilizes quantum superposition and parallelism to store the test case space with only a few qubits. According to the conditional statements in the debugged program, the test case space is continuously divided into subsets, subsubsets and so on. Elements in the same subset are suitable test cases that can test the corresponding branch in the code to be tested. QSE not only provides a possible way to debug quantum programs, but also avoids the difficult problem of solving constraints in classical symbolic execution.
