As banks and financial services firms explore quantum computing for optimisation, risk modelling and advanced analytics, quality assurance teams are confronting a new testing challenge: how to validate software that can no longer be reliably simulated on classical computers.
New research into quantum software testing argues that traditional quality-assurance approaches are rapidly becoming infeasible as quantum programs grow in scale, forcing a shift towards testing methods that run directly on real quantum hardware.
Quantum computing promises significant speedups for simulating physical, chemical and biological systems, as well as for optimisation and machine learning workloads that are increasingly relevant to financial services.
However, the exponential growth of quantum state spaces, combined with memory constraints and the inherent noise of quantum systems, means classical simulation methods long used for verification are breaking down.
According to the research, published by Quantum Zeitgeist, this marks a decisive moment for software testing, requiring novel QA techniques that operate natively on quantum computers rather than relying on idealised simulators.
The work, led by researchers from the University of Porto, Simula Research Laboratory, the National Institute of Informatics in Tokyo and other institutions, identifies the core challenges in testing large-scale quantum software and proposes software engineering perspectives to address them.
Experiments show that existing testing approaches based on classical simulation do not scale effectively, echoing the historical evolution of classical software testing from exhaustive reasoning to abstraction-based methods.
To address this, the researchers argue for the development of test abstractions tailored to quantum systems. Techniques such as quantum circuit simplification and slicing are proposed to reduce complexity and create surrogate models that can still validate key software properties.
Property-based testing plays a central role, shifting the focus away from exact output verification towards checking invariants, symmetries and unitary relations.
The study also introduces assume-guarantee decomposition, enabling compositional reasoning by breaking global system properties into component-level contracts, a method designed to support targeted integration testing in complex hybrid environments.
Test oracles
A major focus of the research is the problem of test oracles, a longstanding challenge in quantum software testing. Traditional input-output verification is often impossible due to limited observability and exponential state growth.
Instead, the researchers propose probabilistic and property-based correctness assessments, using implicit and relational oracles to validate semantic properties rather than specific outputs.
These approaches rely on metamorphic transformations, self-consistency checks and approximate or statistical oracles that balance cost with confidence through adaptive sampling and noise-aware thresholds.
Crucially, the work extends beyond isolated quantum kernels to address the full hybrid quantum-classical architecture that banks are likely to deploy in practice.
Adequacy assessment is redefined, moving away from path coverage towards statistically confident evidence that observed behaviour matches specifications within acceptable noise margins.
This requires coverage analysis across both classical control flow and the quantum state preparation and measurement space, supported by realistic fault models that combine software defects with execution faults such as decoherence and gate errors.
Broader reassessment of QA
For financial services firms, these developments land amid a broader reassessment of QA and testing strategies as quantum technologies move closer to real-world deployment.
Banks increasingly view quantum, AI and cloud technologies as part of a shared data and testing battleground, where traditional assurance models struggle to keep pace with complexity.
As institutions prepare for a future in which quantum workloads sit alongside classical systems, testing teams are being asked to develop new skills, tools and metrics that can operate across this hybrid landscape.
Benchmarking on real quantum hardware is another critical issue highlighted by the research. The authors argue that benchmarks must move beyond abstract performance claims and instead reflect real-world conditions, integrating low-level hardware tests alongside software oracles.
Resource metrics, domain-specific benchmarks and representative programs are needed to distinguish software faults from hardware imperfections, a distinction that is particularly important for regulated industries such as banking, where accountability and explainability are paramount.
The study acknowledged that scalable, end-to-end quality assurance on noisy quantum computers remains an open challenge.
Distinguishing between software defects and hardware-induced errors is still difficult, and access to quantum hardware is limited and costly.
Future work, the researchers argue, should focus on developing more robust benchmarks, abstraction techniques and statistically sound testing methodologies designed specifically for quantum systems.
For QA and software testing teams in banks and financial services firms, the implications are significant. As quantum computing edges closer to delivering practical advantage, testing can no longer be an afterthought or a simple extension of classical approaches.
Instead, it is emerging as a specialised discipline that blends software engineering, statistics and hardware awareness, and one that will play a decisive role in determining whether quantum technologies can be deployed safely, reliably and at scale in the financial sector.
16 SEPTEMBER IN LONDON
REGISTER TODAY – SIMPLY CLICK HERE
Why not become a QA Financial subscriber?
It’s entirely FREE
* Receive our weekly newsletter every Wednesday * Get priority invitations to our Forum events *
REGULATION & COMPLIANCE
Looking for more news on regulations and compliance requirements driving developments in software quality engineering at financial firms? Visit our dedicated Regulation & Compliance page here.
READ MORE
- Inside Rabobank: Engineering resilience by design
- Can AI agents finally automate data testing?
- Continuous testing drives DORA compliance
- Why software testing may face a major rethink
- Buy or build? AI rewrites software testing for banks
WATCH NOW
QA FINANCIAL PODCASTS
CLICK HERE TO LISTEN TO OUR EXCLUSIVE CONVERSATIONS
