QuCAT: A Combinatorial Testing Tool for Quantum Software

• URL: http://arxiv.org/abs/2309.00119v1
• Date: Thu, 31 Aug 2023 20:17:38 GMT
• Title: QuCAT: A Combinatorial Testing Tool for Quantum Software
• Abstract summary: We present the quantum software testing tool QuCAT for testing of quantum programs. With the first functionality, the tool generates a test suite of a given strength. With the second functionality, it generates test suites with increasing strength until a failure is triggered.
• Score: 43.8945621250487
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To this end, we present the quantum software testing tool QuCAT for combinatorial testing of quantum programs. QuCAT provides two functionalities of use. With the first functionality, the tool generates a test suite of a given strength (e.g., pair-wise). With the second functionality, it generates test suites with increasing strength until a failure is triggered or a maximum strength is reached. QuCAT uses two test oracles to check the correctness of test outputs. We assess the cost and effectiveness of QuCAT with 3 faulty versions of 5 quantum programs. Results show that combinatorial test suites with a low strength can find faults with limited cost, while a higher strength performs better to trigger some difficult faults with relatively higher cost. Repository: https://github.com/Simula-COMPLEX/qucat-tool Video: https://youtu.be/UsqgOudKLio

Related papers

• On the Feasibility of Quantum Unit Testing [7.96685560797073]
  This work presents a study on quantum-centric unit tests, comparing traditional statistical approaches with tests specifically designed for quantum circuits.<n>We investigate (a) each test's ability to detect subtle discrepancies between the expected and actual states of a quantum circuit, and (b) the number of measurements required to achieve high reliability.<n>The results demonstrate that quantum-centric tests provide clear advantages in terms of precision and efficiency, reducing both false positives and false negatives compared to statistical tests.
  arXiv  Detail & Related papers  (2025-07-23T06:05:24Z)
• An Efficient Quantum Classifier Based on Hamiltonian Representations [50.467930253994155]
  Quantum machine learning (QML) is a discipline that seeks to transfer the advantages of quantum computing to data-driven tasks. We propose an efficient approach that circumvents the costs associated with data encoding by mapping inputs to a finite set of Pauli strings. We evaluate our approach on text and image classification tasks, against well-established classical and quantum models.
  arXiv  Detail & Related papers  (2025-04-13T11:49:53Z)
• QCircuitBench: A Large-Scale Dataset for Benchmarking Quantum Algorithm Design [63.02824918725805]
  Quantum computing is recognized for the significant speedup it offers over classical computing through quantum algorithms.<n>QCircuitBench is the first benchmark dataset designed to evaluate AI's capability in designing and implementing quantum algorithms.
  arXiv  Detail & Related papers  (2024-10-10T14:24:30Z)
• Quantum Wasserstein Compilation: Unitary Compilation using the Quantum Earth Mover's Distance [2.502222151305252]
  We present a quantum Wasserstein compilation (QWC) cost function based on the quantum Wasserstein distance of order 1. An estimation method based on measurements of local Pauli-observable is utilized in a generative adversarial network to learn a given quantum circuit.
  arXiv  Detail & Related papers  (2024-09-09T17:46:40Z)
• QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum Circuits [82.50620782471485]
  QuantumSEA is an in-time sparse exploration for noise-adaptive quantum circuits. It aims to achieve two key objectives: (1) implicit circuits capacity during training and (2) noise robustness. Our method establishes state-of-the-art results with only half the number of quantum gates and 2x time saving of circuit executions.
  arXiv  Detail & Related papers  (2024-01-10T22:33:00Z)
• Mitigating Noise in Quantum Software Testing Using Machine Learning [9.296542004383115]
  We propose a noise-aware approach to alleviate the noise effect on test results of quantum programs. QOIN employs machine learning techniques to learn the noise effect of a quantum computer and filter it from a quantum program's outputs. Results show that QOIN can reduce the noise effect by more than $80%$ on the majority of noise models.
  arXiv  Detail & Related papers  (2023-06-29T14:51:19Z)
• Parallelizing Quantum-Classical Workloads: Profiling the Impact of Splitting Techniques [4.741651490006498]
  We evaluate two workload splitting techniques on IBM's Quantum Cloud. We see that (1) VQE with circuit cutting is 39% better in ground state estimation than the uncut version, and (2) QSVM that combines data parallelization with reduced feature set yields upto 3x improvement in quantum workload execution time.
  arXiv  Detail & Related papers  (2023-05-11T05:46:55Z)
• Schrödinger as a Quantum Programmer: Estimating Entanglement via Steering [3.187381965457262]
  We develop a quantum algorithm that tests for and quantifies the separability of a general bipartite state by using the quantum steering effect. Our findings provide a meaningful connection between steering, entanglement, quantum algorithms, and quantum computational complexity theory.
  arXiv  Detail & Related papers  (2023-03-14T13:55:06Z)
• Experimental Implementation of an Efficient Test of Quantumness [49.588006756321704]
  A test of quantumness is a protocol where a classical user issues challenges to a quantum device to determine if it exhibits non-classical behavior. Recent attempts to implement such tests on current quantum computers rely on either interactive challenges with efficient verification, or non-interactive challenges with inefficient (exponential time) verification.
  arXiv  Detail & Related papers  (2022-09-28T18:00:04Z)
• Iterative Qubits Management for Quantum Index Searching in a Hybrid System [56.39703478198019]
  IQuCS aims at index searching and counting in a quantum-classical hybrid system. We implement IQuCS with Qiskit and conduct intensive experiments. Results demonstrate that it reduces qubits consumption by up to 66.2%.
  arXiv  Detail & Related papers  (2022-09-22T21:54:28Z)
• Swap Test with Quantum-Dot Charge Qubits [0.0]
  We propose the implementation of the Swap Test using a charge qubit in a double quantum dot. This work paves the way for enhancing the toolbox of quantum machine learning developments in semiconductor qubits.
  arXiv  Detail & Related papers  (2021-12-31T15:30:03Z)
• $i$-QER: An Intelligent Approach towards Quantum Error Reduction [5.055934439032756]
  We introduce $i$-QER, a scalable machine learning-based approach to evaluate errors in a quantum circuit. The $i$-QER predicts possible errors in a given quantum circuit using supervised learning models. It cuts the large quantum circuit into two smaller sub-circuits using an error-influenced fragmentation strategy.
  arXiv  Detail & Related papers  (2021-10-12T20:45:03Z)
• Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
  We propose a resource and runtime efficient scheme termed quantum architecture search (QAS) QAS automatically seeks a near-optimal ansatz to balance benefits and side-effects brought by adding more noisy quantum gates. We implement QAS on both the numerical simulator and real quantum hardware, via the IBM cloud, to accomplish data classification and quantum chemistry tasks.
  arXiv  Detail & Related papers  (2020-10-20T12:06:27Z)
• QUANTIFY: A framework for resource analysis and design verification of quantum circuits [69.43216268165402]
  QUANTIFY is an open-source framework for the quantitative analysis of quantum circuits. It is based on Google Cirq and is developed with Clifford+T circuits in mind. For benchmarking purposes QUANTIFY includes quantum memory and quantum arithmetic circuits.
  arXiv  Detail & Related papers  (2020-07-21T15:36:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.