Till stöd för det växande intresset för kvantdatorexperiment behöver programmerare nya verktyg för att skriva kvantalgoritmer som programkod. Jämfört med felsökning av klassiska program, är felsökning kvantprogram svårt eftersom programmerare har begränsad förmåga att sondera de interna tillstånden i kvantprogram; dessa tillstånd är svåra att tolka även när observationer finns; och programmerare har ännu inte riktlinjer för vad man ska kontrollera när man bygger kvantprogram. I detta arbete presenterar vi kvantprogrampåståenden baserade på statistiska tester på klassiska observationer. Dessa tillåter programmerare att bestämma om ett kvantprogram tillstånd matchar dess förväntade värde i en av klassiska, superposition, eller insnärjda typer av tillstånd. Vi utökar ett befintligt kvantprogramspråk med förmågan att specificera kvantpåståenden, som vårt verktyg sedan kontrollerar i en kvantprogramsimulator. Vi använder dessa påståenden för att felsöka tre riktmärken kvantprogram i factoring, sökning och kemi. Vi delar med oss av vilka typer av fel som är möjliga, och lägger fram en strategi för att använda kvantprogrammeringsmönster för att placera påståenden och förhindra fel.
Huang och Martonosi föreslog kvantprogrampåståenden baserade på statistiska tester på klassiska observationer REF.
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
{'venue': '2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA)', 'journal': '2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA)', 'mag_field_of_study': ['Physics', 'Computer Science', 'Mathematics']}