Test Case Generation of Actor Systems


Downloads per month over past year




Downloads per month over past year

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

[thumbnail of Test case generation.pdf]

Official URL: 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.

Item Type:Conference or Workshop Item (Lecture)
Additional Information:

Lecture Notes in Computer Science. Vol. 9364

Subjects:Sciences > Computer science
Sciences > Computer science > Software
ID Code:37020
Deposited On:12 Apr 2016 11:45
Last Modified:01 Nov 2016 00:01

Origin of downloads

Repository Staff Only: item control page