Abstrakt. För att upptäcka svårfinna konvergerande fel utforskar aktuella verktyg systematiskt alla möjliga interleavings av övergångarna i ett program. Tyvärr, samtidiga program har ett stort antal möjliga interleaveings på grund av icke-determinism. För att påskynda sådana verktyg krävs beskärning av tillståndet utrymme utforskas. POR-teknik (partial-order reduction) kan avsevärt beskära antalet utforskade interleavevings. Dessa tekniker kräver att definiera ett beroendeförhållande till övergångar i programmet, och utnyttja oberoende bland vissa övergångar för att beskära statsrymden. Vi observerar att aktörssystem, en förhärskande klass av program där beräkningsenheter kommunicerar genom att utbyta meddelanden, uppvisar ett beroendeförhållande mellan samaktiverade övergångar med en intressant egenskap: transitivitet. I detta dokument introduceras en ny dynamisk POR-teknik, TransDPOR, som utnyttjar transitiviteten i beroendeförhållandet i aktörernas system. Empiriska resultat visar att mobiliseringen av transitivitet påskyndar prospekteringen med upp till två storleksordningar jämfört med befintliga POR-tekniker.
För aktörsmodellen har beroendeförhållandet för utsändning utnyttjats för att skjuta upp tidig planering av interleavings Ref.
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
{'venue': 'FMOODS/FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}