MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers
Quantum computing has been rapidly expanding, and many platforms for writing programs that can be compiled and run on quantum hardware (or simulated) are being developed. As with any compiler, transformation correctness is paramount as the machine readable code must maintain program semantics. Quantum programs are challenging to test given a lack of benchmark programs and the difficulty of defining an oracle. MorphQ solves both of these challenges by (1) generating syntactically correct quantum programs and (2) using metamorphic testing to avoid the oracle problem. However, Qiskit, the compiler it was built for, is rapidly evolving. This paper is a reproducibility study of the MorphQ platform, which we call MorphQ++. We have updated the core MorphQ engine to work on a newer version of Qiskit and added new metamorphic transformations. We find that our overall results are similar: we find a portion of the original faults (which were not yet fixed) and the distributions of types are not very different. Our new transformations lead to several new faults, suggesting there is room to expand the core framework. Additionally, we note the lack of power of the metamorphic relations in this context and suggest the need for more sophisticated relations and/or oracle evaluations.
Mon 28 OctDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 10mTalk | Automatic Generation of Logical Specifications for Behavioural Models [Workshop] RENE | ||
10:40 20mTalk | Group Discussion [Workshop] RENE | ||
11:00 20mTalk | MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers [Workshop] RENE | ||
11:20 20mDay opening | RENE Track Opening Session [Workshop] RENE | ||
11:40 20mTalk | Taxonomy of Security-related Issues in Android Apps: An Empirical Study [Workshop] RENE Teerath Das University of Jyväskylä, Adam Ali Mohammad Ali JInnah University, Tommi Mikkonen University of Jyvaskyla |