Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Cet article introduit une famille d'oracles de test appariés par classe de fautes qui détecte les régressions invisibles en sortie dans les transpileurs quantiques — affectant spécifiquement les métadonnées de mise en page, la phase globale et la reproductibilité — en vérifiant les contrats internes et les relations métamorphes plutôt qu'en se fondant uniquement sur l'équivalence de sortie, atteignant ainsi une sensibilité et une spécificité parfaites sur des bugs réels de Qiskit et pytket tout en réduisant considérablement les coûts de calcul.