论文标题
QUSBT：基于搜索的量子程序测试
QuSBT: Search-Based Testing of Quantum Programs
论文作者
论文摘要
为量子程序生成测试套件，以使其具有最大失败测试数量是一个优化问题。为了进行此类优化，基于搜索的测试在经典程序的背景下显示出令人鼓舞的结果。为此，我们提出了一种基于遗传算法的量子程序的测试生成工具，称为QUSBT（基于搜索的量子程序测试）。 QUSBT自动化量子程序的测试，目的是找到具有最大故障测试用例的测试套件。 QUSBT利用IBM的Qiskit作为量子程序的仿真框架。除了实现的方法（即，搜索人员的编码，表达搜索问题的健身函数的定义以及测试评估W.R.T. W.R.T.两种类型的失败）外，我们还介绍了工具体系结构。最后，我们报告了实验的结果，其中我们测试了与QUSBT一起评估其有效性的一组故障量子程序。存储库（代码和实验结果）：https：//github.com/simula-complex/qusbt-tool视频：https：//youtu.be/3aprctluan44
Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown promising results in the context of classical programs. To this end, we present a test generation tool for quantum programs based on a genetic algorithm, called QuSBT (Search-based Testing of Quantum Programs). QuSBT automates the testing of quantum programs, with the aim of finding a test suite having the maximum number of failing test cases. QuSBT utilizes IBM's Qiskit as the simulation framework for quantum programs. We present the tool architecture in addition to the implemented methodology (i.e., the encoding of the search individual, the definition of the fitness function expressing the search problem, and the test assessment w.r.t. two types of failures). Finally, we report results of the experiments in which we tested a set of faulty quantum programs with QuSBT to assess its effectiveness. Repository (code and experimental results): https://github.com/Simula-COMPLEX/qusbt-tool Video: https://youtu.be/3apRCtluAn4
