Ejecutando mutantes cuánticos utilizando técnicas de planificación

Abstract

El uso de pruebas de mutación para los circuitos cuánticos se enfrenta a problemas considerables a la hora de la ejecución de es- tos circuitos. Debido a la gran cantidad de pruebas que se generan y las limitaciones del hardware cuántico, como los altos tiempos de cola y los altos costes, impiden que hoy en dı́a se pueda realizar la ejecu- ción de estas pruebas en hardware real. En este artı́culo se presenta una herramienta que permite la creación de estas pruebas y la ejecución de forma eficiente en computadores cuánticos reales. Esta herramienta re- duce significativamente los costes y permite que se puedan ejecutar todas las pruebas en un tiempo razonable. Esto se consigue mediante la pla- nificación de circuitos, uniendo varias tareas cuánticas, obteniendo ası́ una reducción de la cantidad de tareas. Se presentan tres casos de estu- dio realizados con diferentes mutantes sobre IBM Quantum en el que se observan reducciones de coste de hasta un 94% aproximadamente.