机构名称：
¥ 1.0
摘要 — 量子软件测试的自动化对于支持系统且经济高效的测试至关重要。为此，我们提出了一种名为 Quito 的量子软件测试工具，它可以自动生成测试套件，涵盖用 Qiskit 编码的量子程序的输入和输出上定义的三个覆盖标准，即输入覆盖率、输出覆盖率和输入输出覆盖率。Quito 还根据程序规范实现了两种类型的测试预言，即检查量子程序是否产生了错误的输出或使用统计测试检查概率测试预言。我们描述了该工具的架构和方法。我们还用一个量子程序和一个有缺陷的版本验证了该工具。结果表明，Quito 可以生成测试套件并执行检测故障的测试评估，并产生具有良好时间性能的测试结果。 Quito 的代码：https://github.com/Simula-COMPLEX/quito Quito 的视频：https://youtu.be/kuI9QaCo8A8 可用的工件：https://doi.org/10.5281/zenodo.5288665
量子程序的覆盖引导测试生成器
主要关键词
相关文件推荐
