Systematic testing of actor systems

Albert Albiol, Elvira María; Arenas Sánchez, Purificación; Gómez-Zamalloa Gil, Miguel

Systematic testing of actor systems

Download

STVR18.pdf (1.68 MB)

Official URL

https://onlinelibrary.wiley.com/doi/10.1002/stvr.1661

Publication date

2018

Authors

Albert Albiol, Elvira María

Arenas Sánchez, Purificación

Gómez-Zamalloa Gil, Miguel

Publisher

Wiley

Citations

Exportar

URI

https://hdl.handle.net/20.500.14352/98426

Abstract

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.