RT Conference Proceedings
T1 Metamorphic Testing of Oracle Quantum Programs
A1 Abreu, Rui
A1 Llana Díaz, Luis Fernando
A1 Fernandes, Joao Paulo
A1 Tavares, Guilherme
AB Quantum Computing is regarded with a growing sense of excitement and expectation. While the preliminary evidences of its practical interest accumulate, there are numerous challenges that must be addressed before quantum computing can reach generalized adoption and realize its full potential. One such challenge concerns assessing whether a quantum program is correct, namely in the sense that it implements the desired functionality. In the classical realm, program testing is a well-established approach to find defects in programs. While this approach should inspire quantum software development, porting classical testing techniques to the quantum world is by no means trivial. We propose a novel approach to test quantum programs. Our approach is based on the use of metamorphic relations, which allows us to overcome the well-known quantum measurement problem. We describe a series of exploratory experiments whose results provide evidence of theusefulness of our approach.
YR 2022
FD 2022
LK https://hdl.handle.net/20.500.14352/112392
UL https://hdl.handle.net/20.500.14352/112392
LA eng
NO Rui Abreu, João Paulo Fernandes, Luis Llana, and Guilherme Tavares.2022. Metamorphic Testing of Oracle Quantum Programs. In The 3rd International Workshop on Quantum Software Engineering (Q-SE’22 ), May18, 2022, Pittsburgh, PA, USA. ACM, New York, NY, USA, 8 pages. https://doi.org/10.1145/3528230.3529189
NO This work has been supported by the Spanish MINECOFEDER (grant numbers DArDOS, TIN2015-65845-C3-1-R and FAME, RTI2018-093608-B-C31) and the Region of Madrid (grants FORTE-CM, S2018/TCS-4314 and PR65/19-22452). Furthermore, this work was supported in part by the Portuguese FCT/MCTES through national funds under Grants PTDC/CCI COM/29300/2017 (FaultLocker), CMU/TIC/0064/2019 (SecurityAware), and UIDB/50021/2020 (INESC-ID).
NO Ministerio de Economía, Comercio y Empresa (España) 
NO Comunidad de Madrid
NO Gobierno de Portugual
DS Docta Complutense
RD 8 abr 2025