Vi presenterar en ny teknik för att verifiera egenskaper hos parallella GPU-program via testförstärkning. Den viktigaste insikten bakom vårt arbete är att vi kan använda tekniken för statiskt informationsflöde för att förstärka resultatet av ett enda testutförande över uppsättningen av alla ingångar och interleatings som påverkar egenskapen som verifieras. Vi demonstrerar empiriskt effektiviteten av testförstärkning för att verifiera rasfrihet och determinism över ett stort antal standard GPU-kärnor, genom att visa att resultatet av att verifiera en enda dynamisk körning kan förstärkas över det massiva utrymmet för möjliga dataingångar och trådinterleavings.
Test förstärkning REF börjar med dynamisk testning av GPU-program, men använder en test förstärkningsteknik för att generalisera resultaten av den dynamiska analysen över ett stort utrymme av ingångar.
Verifying GPU kernels by test amplification
{'venue': "PLDI '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}