RT Journal Article
T1 Systematic testing of actor systems
A1 Albert Albiol, Elvira María
A1 Arenas Sánchez, Purificación
A1 Gómez-Zamalloa Gil, Miguel
AB Testing 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.
PB Wiley
SN 09600833
YR 2018
FD 2018-08-08
LK https://hdl.handle.net/20.500.14352/98426
UL https://hdl.handle.net/20.500.14352/98426
LA eng
DS Docta Complutense
RD 6 oct 2024