Abstract-Nows, kvantprogram används i stor utsträckning och utvecklas snabbt. Avsaknaden av testmetoder begränsar dock deras kvalitet. Olika inmatningsformat och operatör från traditionella program gör detta problem svårt att lösa. I det här dokumentet presenterar vi QuanFuzz, en sökbaserad testinmatningsgenerator för kvantprogram. Vi definierar kvantkänslig information för att utvärdera indata för kvantprogram och använda matrisgenerator för att generera testfall med högre täckning. För det första extraherar vi kvantkänsliga informationsmätningar på dessa kvantregister och de känsliga grenar som är förknippade med dessa mätresultat, från kvantkällkod. Sedan använder vi den känsliga information guidade algoritmen för att mutera den initiala inmatningsmatrisen och välja de matriser som förbättrar sannolikhetsvikten för ett värde på kvantregistret för att utlösa den känsliga grenen. Processen fortsätter att iterera tills den känsliga grenen utlöses. Vi testade QuanFuzzon-riktmärken och förvärvade 20% -60% mer täckning jämfört med traditionell testinmatningsgenerering.
Det finns också några verktyg som fokuserar på fuzzing i andra domäner, till exempel QuanFuzz REF är en sökbaserad testinmatningsgenerator för kvantprogram.
QuanFuzz: Fuzz Testing of Quantum Program
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}