Person:
Albert Albiol, Elvira María

Profile Picture
First Name
Elvira María
Last Name
Albert Albiol
URI
https://hdl.handle.net/20.500.14352/78699
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Lenguajes y Sistemas Informáticos
Identifiers
UCM identifierORCIDScopus Author IDDialnet IDGoogle Scholar ID

Filters

20151
Reset filters

Settings

Subject: 004.415.2 ×

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Test Case Generation of Actor Systems
    (2015) Albert Albiol, Elvira María; Arenas Sánchez, Purificación; Gómez Zamalloa, Miguel
    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.