REVIEW 7 cited by
On the Feasibility of Quantum Unit Testing
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
On the Feasibility of Quantum Unit Testing
read the original abstract
The increasing complexity of quantum software presents significant challenges for software verification and validation, particularly in the context of unit testing. This work presents a comprehensive study on quantum-centric unit tests, comparing traditional statistical approaches with tests specifically designed for quantum circuits. These include tests that run only on a classical computer, such as the Statevector test, as well as those executable on quantum hardware, such as the Swap test and the novel Inverse test. Through an empirical study and detailed analysis on 1,796,880 mutated quantum circuits, 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. The results demonstrate that quantum-centric tests, particularly the Statevector test and the Inverse test, provide clear advantages in terms of precision and efficiency, reducing both false positives and false negatives compared to statistical tests. This work contributes to the development of more robust and scalable strategies for testing quantum software, supporting the future adoption of fault-tolerant quantum computers and promoting more reliable practices in quantum software engineering.
Forward citations
Cited by 7 Pith papers
-
Quantum Mutant Equivalence via Transpilation
TBE identifies 32.1% of 92,011 equivalent surviving quantum mutants (29,536) via OpenQASM comparison after transpilation, reporting 100% precision and 82% accuracy on 348,299 mutants.
-
Randomized and Diverse Input State Generation for Quantum Program Testing
The hardware-compatible Brick-Circuit generator produces quantum test states with higher expressibility and entanglement than existing generators at shallower circuit depths.
-
Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp
Semantics-based verification of a Qrisp Shor oracle for ECDLP identifies agreement on core primitives but potential control-law violations in controlled execution.
-
A Methodological Analysis of Empirical Studies in Quantum Software Testing
A systematic analysis of 59 quantum software testing empirical studies reveals highly diverse designs, inconsistent reporting, and open methodological challenges, leading to recommendations for future work.
-
Benchmarking Quantum Software Testing with Scalable Quantum Programs
Qolumbina curates 40 quantum programs into a benchmark with QST-oriented criteria for functionality, output behavior, and complexity to support scalable empirical studies of quantum software testing approaches.
-
Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
Failure-guided local fuzzing around non-convergent seeds improves detection of faulty HQC configurations over random testing, with concolic seeding adding workload-dependent benefits on VQE versus QAOA.
-
Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs
Quantum circuits show high average condition (97.56%) and decision (97.63%) coverage but lower path coverage (71.84%), with probabilistic versions adding confidence levels (averages 88.87%, 88.65%, 37.18%); mutation t...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.