一句话：提出 Muskit，一个对 Qiskit 量子程序进行变异分析、生成并执行变异体以评估测试用例的工具。
量子软件测试是一个新兴领域，目前缺乏基准程序和缺陷库来评估测试技术的有效性。量子变异分析通过变异算子系统地生成量子程序的故障版本（变异体），可用作评估测试用例质量的基准。本文提出 Muskit，一个针对 IBM Qiskit 语言编写的量子程序的量子变异分析工具。Muskit 在量子程序的门上定义变异算子，并提供选择准则以减少需要生成的变异体数量；同时支持在变异体上执行测试用例并生成测试分析结果。该工具提供命令行接口、图形界面和 Web 应用。作者通过为四个量子程序生成并执行变异体来验证 Muskit。
Given that quantum software testing is a new area of research, there is a lack of benchmark programs and bugs repositories to assess the effectiveness of testing techniques. To this end, quantum mutation analysis focuses on systematically generating faulty versions of Quantum Programs (QPs), called mutants, using mutation operators. Such mutants can be used as benchmarks to assess the quality of test cases in a test suite. Thus, we present Muskit - a quantum mutation analysis tool for QPs coded in IBM's Qiskit language. Muskit defines mutation operators on gates of QPs and selection criteria to reduce the number of mutants to generate. Moreover, it allows for the execution of test cases on mutants and generation of results for test analyses. Muskit is provided as command line interface, GUI, and web application. We validated Muskit by using it to generate and execute mutants for four QPs. Muskit code: https://github.com/Simula-COMPLEX/muskitWeb app: https://qiskitmutantcreatorsrl.pythonanywhere.com/YouTube Video: EbPHJOK_AEA Artifact Available: https://doi.org/10.5281/zenodo.5288917
DOI 原文 ·
@inproceedings{paperbot6583,
title = {Muskit: A Mutation Analysis Tool for Quantum Software Testing},
author = {Enaut Mendiluze and Shaukat Ali and Paolo Arcaini and Tao Yue},
booktitle = {ASE},
year = {2021},
doi = {10.1109/ase51524.2021.9678563}
}