AuthorsX. Wang, T. Yu, P. Arcaini, T. Yue and S. Ali
TitleMutation-Based Test Generation for Quantum Programs with Multi-Objective Search
AfilliationSoftware Engineering
Project(s)Department of Engineering Complex Software Systems, Quantum Software Engineering Project, Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2022
Conference NameGECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference
Pagination1345-1353
PublisherACM
Abstract

Mutation testing is often used for designing new tests, and involves changing a program in minor ways, which results in mutated versions of the program, i.e., mutants. An effective test suite should find faults (or kill mutants) with a minimum number of test cases, to save resources required for executing test cases. In this paper, in the context of mutation testing for quantum programs, we present a multi-objective and search-based approach (MutTG) to generate the minimum number of test cases killing as many mutants as possible. MutTG tries to estimate the likelihood that a mutant is equivalent, and uses this as a discount factor in the fitness definition to avoid keeping on trying to kill mutants that cannot be killed. We employed NSGA-II as the multi-objective search algorithm. Then, we compared MutTG with another version of the approach that does not use the discount factor in its fitness definition, and with random search (RS), over a set of open-source quantum programs and their mutants of varying complexity. Results show that the discount factor does indeed help in guiding the test generation, as the approach with the discount factor performs better than the one without it.

URLhttps://dl.acm.org/doi/abs/10.1145/3512290.3528869
DOI10.1145/3512290.3528869
Citation Key42902

Contact person