Effektiviteten av programvarutestning utvärderas ofta genom att mäta täckning av någon aspekt av programvaran, såsom dess kod. Det finns mycket forskning som syftar till att öka kodtäckningen av sekventiell programvara. Det har dock gjorts lite forskning om att öka täckningen för samtidig programvara. Detta dokument presenterar en ny teknik som syftar till att uppnå hög täckning av samtidiga program genom att generera trådscheman för att täcka otäckta täckningskrav. Vår teknik först uppskattar synkronisering-par täckningskrav, och sedan genererar tråd scheman som sannolikt kommer att täcka avtäckta täckningskrav. I detta dokument presenteras också en beskrivning av ett prototypverktyg som vi implementerade i Java, och resultaten av en uppsättning studier som vi utförde med hjälp av verktyget på flera öppna källkodsprogram. Resultaten visar att vår teknik för våra ämnesprogram uppnår högre täckning snabbare än slumpmässiga testtekniker; den skattningsbaserade heurismen bidrar väsentligt till effektiviteten i vår teknik.
Hong m.fl. REF presenterade en ny teknik för trådläggning när det gäller kriterier för synkronisering/partäckning för att uppnå hög testtäckning.
Testing concurrent programs to achieve high synchronization coverage
{'venue': 'ISSTA 2012', 'journal': None, 'mag_field_of_study': ['Computer Science']}