QuSBT

QuSBT：基于搜索的量子程序测试

为量子程序生成一个测试套件，使其具有最大数量的失败测试是一个优化问题。对于这种优化，基于搜索的测试在经典程序环境中已显示出良好的效果。为此，我们提出了一种基于遗传算法的量子程序测试生成工具，称为 QuSBT（基于搜索的量子程序测试）。QuSBT 可自动测试量子程序，目的是找到具有最大数量失败测试用例的测试套件。QuSBT 使用 IBM 的 Qiskit 作为量子程序的模拟框架。除了实施的方法（即搜索个体的编码、表达搜索问题的适应度函数的定义以及针对两种故障的测试评估）之外，我们还介绍了工具架构。最后，我们报告了使用 QuSBT 测试一组有缺陷的量子程序以评估其有效性的实验结果。存储库（代码和实验结果）：https://github.com/ Simula-COMPLEX/qusbt-tool 视频：https://youtu.be/3apRCtluAn4