Abstrakt. Aktörsprogram består av ett antal samtidiga objekt som kallas aktörer, som kommunicerar genom att utbyta meddelanden. Nondeterminism i aktörer är ett resultat av de olika möjliga order i vilka tillgängliga meddelanden behandlas. Systematisk testning av skådespelare program utforskar olika möjliga meddelandebehandling scheman. Dynamisk partiell ordningsreduktionsteknik (DPOR) påskyndar systematisk testning genom beskärning av delar av prospekteringsutrymmet. Baserat på utforskandet av ett schema, en DPOR algoritm kan finna att det inte behöver utforska några andra scheman. Den potentiella beskärning som kan uppnås med hjälp av DPOR är dock i hög grad beroende av i vilken ordning meddelanden beaktas för bearbetning. Detta dokument utvärderar ett antal heuristiker för att välja den ordning i vilken meddelanden utforskas för skådespelare program, och sammanfattar deras fördelar och nackdelar.
I vissa fall är ett sådant urval irrelevant, men det är känt att den beskärning som kan uppnås i hög grad beror på i vilken ordning uppgifterna beaktas för bearbetning (se REF ).
Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}