RT Conference Proceedings
T1 Test Case Generation of Actor Systems
A1 Albert Albiol, Elvira
A1 Arenas Sánchez, Purificación
A1 Gómez Zamalloa, Miguel
AB Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying  task scheduler, errors can go easily undetected. Test case generation (TCG) is the process of automatically generating test inputs for interesting coverage criteria, which are then applied to the system under test. This paper presents a TCG framework for actor systems, which consists of three main elements, which are the original contributions of this work: (1) a symbolic execution calculus, which allows symbolically executing the program (i.e., executing the program for unknown input data), (2) improved techniques to avoid performing redundant computations during symbolic execution, (3) new termination and coverage criteria, which ensure the termination of symbolic execution and guarantee that the test cases provide the desired degree of code coverage. Finally, our framework has been implemented and evaluated within the aPET system.
YR 2015
FD 2015-10
LK https://hdl.handle.net/20.500.14352/25002
UL https://hdl.handle.net/20.500.14352/25002
LA eng
NO Lecture Notes in Computer Science. Vol. 9364
NO Unión Europea. FP7
NO Ministerio de Economía y Competitividad (MINECO)
NO Comunidad de Madrid
DS Docta Complutense
RD 8 may 2024