Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown promising results in the context of classical programs. To this end, we present a test generation tool for quantum programs based on a genetic algorithm, called QuSBT (Search-based Testing of Quantum Programs). QuSBT automates the testing of quantum programs, with the aim of finding a test suite having the maximum number of failing test cases. QuSBT utilizes IBM’s Qiskit as the simulation framework for quantum programs. We present the tool architecture in addition to the implemented methodology (i.e., the encoding of the search individual, the definition of the fitness function expressing the search problem, and the test assessment w.r.t. two types of failures). Finally, we report results of the experiments in which we tested a set of faulty quantum programs with QuSBT to assess its effectiveness.
Repository (code and experimental results): https://github.com/Simula-COMPLEX/qusbt-tool
Video: https://youtu.be/3apRCtluAn4
Wed 11 MayDisplayed time zone: Eastern Time (US & Canada) change
04:00 - 05:00 | Software Testing 2DEMO - Demonstrations at ICSE Demo room 1 Chair(s): Jiajun Jiang Tianjin University | ||
04:00 15mDemonstration | QuSBT: Search-Based Testing of Quantum Programs DEMO - Demonstrations Xinyi Wang Nanjing University of Aeronautics and Astronautics, Paolo Arcaini National Institute of Informatics
, Tao Yue Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway DOI Pre-print Media Attached | ||
04:15 15mDemonstration | MASS: A tool for Mutation Analysis for Space CPS DEMO - Demonstrations Oscar Cornejo SnT Centre, University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa Pre-print Media Attached | ||
04:30 15mDemonstration | TestKnight: An Interactive Assistant to Stimulate Test Engineering DEMO - Demonstrations Cristian-Alexandru Botocan Delft University of Technology, Piyush Deshmukh Delft University of Technology, Pavlos Makridis Delft University of Technology, Jorge Romeu Huidobro Delft University of Technology, Mathanrajan Sundarrajan Delft University of Technology, Maurício Aniche Delft University of Technology, Andy Zaidman Delft University of Technology Pre-print Media Attached | ||
04:45 15mDemonstration | FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer DEMO - Demonstrations Stephan Lipp Technical University of Munich, Daniel Elsner TU Munich, Thomas Hutzelmann Technical University of Munich, Sebastian Banescu Technical University of Munich, Alexander Pretschner TU Munich, Marcel Böhme MPI-SP, Germany and Monash University, Australia DOI Pre-print Media Attached | ||