AuthorsX. Wang, P. Arcaini, T. Yue and S. Ali
TitleGenerating Failing Test Suites for Quantum Programs with Search (hot off the press track at GECCO 2022)
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
Pagination47-48
PublisherACM
Abstract

The inherent complexity of quantum programs, due to features such as superposition and entanglement, makes their testing particularly challenging. To tackle these challenges, we present a search-based approach, called Quantum Search-Based Testing (QuSBT), for automatically generating test suites of a given size that possibly expose failures of the quantum program under test. QuSBT encodes a test suite as a search individual, and tries to maximize the objective function that counts the number of failing tests in the test suite. Due to non-deterministic nature of quantum programs, the approach repeats the execution of each test multiple times, and uses suitable statistical tests to assess if a test passes or fails. QuSBT employs a genetic algorithm to perform the search. Experiments on 30 faulty quantum programs show that QuSBT is statistically better than random search, and is able to efficiently generate maximal failing test suites.

This is an extended abstract of the paper [1]: X. Wang, P. Arcaini, T. Yue, and S. Ali "Generating Failing Test Suites for Quantum Programs With Search", 13th International Symposium on Search-Based Software Engineering (SSBSE 2021).

URLhttps://dl.acm.org/doi/10.1145/3520304.3534067
DOI10.1145/3520304.3534067
Citation Key42903

Contact person