Universidad Complutense de Madrid
E-Prints Complutense

Test Case Generation of Actor Systems



Último año

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel (2015) Test Case Generation of Actor Systems. In 13th International Symposium, ATVA 2015, October 12-15, 2015, Shanghai, China.

Vista previa

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-319-24953-7_21


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.

Tipo de documento:Ponencia o Póster de Seminario, Congreso,etc (Ponencia)
Información Adicional:

Lecture Notes in Computer Science. Vol. 9364

Materias:Ciencias > Informática
Ciencias > Informática > Software
Código ID:37020
Depositado:12 Abr 2016 11:45
Última Modificación:01 Nov 2016 00:01

Descargas en el último año

Sólo personal del repositorio: página de control del artículo