Authors | E. Mendiluze, S. Ali, P. Arcaini and T. Yue |
Title | Muskit: A Mutation Analysis Tool for Quantum Software Testing |
Afilliation | Software Engineering |
Project(s) | Department of Engineering Complex Software Systems, Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs |
Status | Published |
Publication Type | Technical reports |
Year of Publication | 2021 |
Publisher | Technical Report, Simula Research Laboratory |
Abstract | Given that quantum software testing is a new area of research, there is a lack of benchmark programs and bug 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 the generation of results for test analyses. muskit is provided as a command-line interface, GUI, and web application. We validated muskit by using it to generate and execute mutants for four QPs. |
Citation Key | 27892 |