Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Dieses Paper führt eine fehlerklassengematchte Test-Oracle-Familie ein, die output-unsichtbare Regressionen in Quanten-Transpilern erkennt – insbesondere solche, die Layout-Metadaten, die globale Phase und Reproduzierbarkeit betreffen – indem sie interne Kontrakte und metamorphe Relationen verifiziert, anstatt sich ausschließlich auf die Output-Äquivalenz zu verlassen, wodurch eine perfekte Sensitivität und Spezifität bei realen Qiskit- und pytket-Bugs erreicht und gleichzeitig die Rechenkosten signifikant reduziert werden.