Vi introducerar begreppet fördröjande upptäcktsresande med målet att utföra prioriterad undersökning av beteendet hos ett asynkront reaktivt program. En fördröjningsutforskare stratifierar sökytan med hjälp av en anpassad strategi, och en fördröjningsoperation som tillåter avvikelse från den strategin. Vi visar att prioriterad sökning med en fördröjningsutforskare presterar betydligt bättre än befintliga prioriteringstekniker. Vi demonstrerar också empiriskt behovet av att skriva olika delaying Explorers för skalbara systematiska tester och därmed, presentera en flexibel delaying Explorer interface. Vi introducerar två nya tekniker för att förbättra skalbarheten av sökning baserad på fördröjda upptäcktsresande. För det första presenterar vi en algoritm för stratifierad fullständig sökning och använder effektiv tillståndscache för att undvika redundant utforskning av scheman. Vi tillhandahåller soliditets- och termineringsgarantier för vår algoritm. För det andra, för de fall där tillståndet i systemet inte kan fångas eller det finns resursbegränsningar, presenterar vi en algoritm för att slumpmässigt prova någon körning från det stratifierade sökområdet. Denna algoritm garanterar att varje sådan utförande som kräver d fördröjning operationer provtas med sannolikhet minst 1/L d, där L är det maximala antalet program steg. Vi har implementerat våra algoritmer och utvärderat dem på en samling av verkliga feltoleranta distribuerade protokoll.
REF:s arbete presenterar en randomiserad algoritm för asynkrona system baserat på fördröjningsbegränsad prospektering.
Systematic testing of asynchronous reactive systems
{'venue': 'ESEC/FSE 2015', 'journal': None, 'mag_field_of_study': ['Computer Science']}