Search papers, labs, and topics across Lattice.
This paper introduces QuanForge, a mutation testing framework tailored for Quantum Neural Networks (QNNs), addressing the challenges posed by their complex dynamics and stochastic behaviors. By implementing nine post-training mutation operators and a mutant generation algorithm, QuanForge effectively simulates potential errors in quantum circuits, enabling robust mutation analysis. Experimental results demonstrate its capability to differentiate test suites and identify vulnerable circuit regions, paving the way for enhanced data and structural assessments of QNNs.
QuanForge reveals that targeted mutation testing can significantly enhance the reliability of Quantum Neural Networks by pinpointing their vulnerabilities.
With the growing synergy between deep learning and quantum computing, Quantum Neural Networks (QNNs) have emerged as a promising paradigm by leveraging quantum parallelism and entanglement. However, testing QNNs remains underexplored due to their complex quantum dynamics and limited interpretability. Developing a mutation testing technique for QNNs is promising while requires addressing stochastic factors, including the inherent randomness of mutation operators and quantum measurements. To tackle these challenges, we propose QuanForge, a mutation testing framework specifically designed for QNNs. We first introduce statistical mutation killing to provide a more reliable criterion. QuanForge incorporates nine post-training mutation operators at both gate and parameter levels, capable of simulating various potential errors in quantum circuits. Finally, a mutant generation algorithm is formalized that systematically produces effective mutants, thereby enabling a robust and reliable mutation analysis. Through extensive experiments on benchmark datasets and QNN architectures, we show that QuanForge can effectively distinguish different test suites and localize vulnerable circuit regions, providing insights for data enhancement and structural assessment of QNNs. We also analyze the generation capabilities of different operators and evaluate performance under simulated noisy conditions to assess the practical feasibility of QuanForge for future quantum devices.