Abstract-This paper beskriver en effektiv parallellalgoritm som använder många-kärniga GPU:er för att automatiskt härleda unika indatasekvenser (UIO:er) från Finite State Machines. Den föreslagna algoritmen använder den globala omfattningen av GPU: s globala minne genom sammanslagen minnesåtkomst och minimerar överföringen mellan CPU och GPU minne. Resultaten av experimenten visar att den föreslagna metoden ger betydligt bättre resultat jämfört med en enda kärnalgoritm för UIO-konstruktion. Vår algoritm är skalbar och när flera GPUs läggs till i systemet kan metoden hantera FSMs vars storlek är större än det minne som finns tillgängligt på en enda GPU. Index Terms-Software Engineering/software/programverifiering, programvaruteknik/testning och felsökning, programvaruteknik/testdesign, ändlig tillståndsmaskin, unik indatasekvensgenerering, grafikbearbetningsenheter för allmänna ändamål
Hieroner och al. beskrivs en effektiv parallellalgoritm som använder mångakärniga GPUs för att automatiskt härleda UIOs från Finite State Machines REF.
Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}