一句话：提出 Quito，面向 Qiskit 量子程序按输入、输出及输入-输出覆盖自动生成测试套件并检测故障。
量子软件测试的自动化对系统化、低成本测试至关重要。本文提出 Quito，一个覆盖率引导的量子程序测试生成器，针对 Qiskit 编写的量子程序，定义并实现输入覆盖、输出覆盖和输入-输出覆盖三类覆盖准则，自动生成满足这些准则的测试套件。Quito 还基于程序规约实现两类测试预言：检查是否产生错误输出，以及基于统计检验的概率测试预言。文中描述了工具架构与方法，并用一个量子程序及其故障版本进行验证。结果表明 Quito 能生成测试套件、执行测试评估并检测故障，且具有较好的时间性能。代码、视频和工件已公开。
Automation in quantum software testing is essential to support systematic and cost-effective testing. Towards this direction, we present a quantum software testing tool called Quito that can automatically generate test suites covering three coverage criteria defined on inputs and outputs of a quantum program coded in Qiskit, i.e., input coverage, output coverage, and input-output coverage. Quito also implements two types of test oracles based on program specifications, i.e., checking whether a quantum program produced a wrong output or checking a probabilistic test oracle with statistical test. We describe the architecture and methodology of the tool. We also validated the tool with one quantum program and one faulty version of it. Results indicate that Quito can generate test suites and perform test assessments that detect faults, and produce test results with a good time performance.Quito’s code: https://github.com/Simula-COMPLEX/quitoQuito’s video: https://youtu.be/kuI9QaCo8A8Artifact Available: https://doi.org/10.5281/zenodo.5288665
DOI 原文 ·
@inproceedings{paperbot6526,
title = {Quito: a Coverage-Guided Test Generator for Quantum Programs},
author = {Xinyi Wang and Paolo Arcaini and Tao Yue and Shaukat Ali},
booktitle = {ASE},
year = {2021},
doi = {10.1109/ase51524.2021.9678798}
}