Albert Albiol, Elvira MaríaArenas Sánchez, PurificaciónGómez-Zamalloa Gil, Miguel2024-02-022024-02-022018Albert, Elvira, et al. «Systematic Testing of Actor Systems». Software Testing, Verification and Reliability, vol. 28, n.o 3, mayo de 2018, p. e1661. https://doi.org/10.1002/stvr.1661.0960-083310.1002/stvr.1661https://hdl.handle.net/20.500.14352/98426Testing concurrent systems requires exploring all possible nondeterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal the erroneous behavior. In testing of actor systems, we can distinguish 2 sources of nondeterminism: (1) actor selection, the order in which actors are explored, and (2) task selection, the order in which the tasks within each actor are explored. This article provides new strategies and heuristics for pruning redundant state-exploration when testing actor systems by reducing the amount of unnecessary nondeterminism of both types. Furthermore, we extend these techniques to handle synchronization primitives that allow awaiting for the completion of an asynchronous task.We report on an implementation and experimental evaluation of the proposed techniques in SYCO, a testing tool for actor-based concurrency.engjournal articlehttps://doi.org/10.1002/stvr.1661restricted accessActor-based concurrencyPartial order reductionSystematic testingSynchronizationTask independenceProgramación de ordenadores (Informática)1203.23 Lenguajes de Programación