Universidad Complutense de Madrid
E-Prints Complutense

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency

Impacto

Descargas

Último año



Albert Albiol, Elvira y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel y Rojas, José Miguel (2014) Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency. In 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, June 16-20, 2014, Bertinoro, Italy.

[img]
Vista previa
PDF
883kB

URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-319-07317-0_7#page-1



Resumen

The focus of this tutorial is white-box test case generation (TCG) based on symbolic execution. Symbolic execution consists in executing a program with the contents of its input arguments being symbolic variables rather than concrete values. A symbolic execution tree characterizes the set of execution paths explored during the symbolic execution of a program. Test cases can be then obtained from the successful branches of the tree. The tutorial is split into three parts: (1) The first part overviews the basic techniques used in TCG to ensure termination, handling heap-manipulating programs, achieving compositionality in the process and guiding TCG towards interesting test cases. (2) In the second part, we focus on a particular implementation of the TCG framework in constraint logic programming (CLP). In essense, the imperative object-oriented program under test is automatically transformed into an equivalent executable CLP-translated program. The main advantage of CLP-based TCG is that the standard mechanism of CLP performs symbolic execution for free. The PET system is an open-source software that implements this approach. (3) Finally, in the last part, we study the extension of TCG to actor-based concurrent programs.


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

Publicado en Lecture Notes in Computer Science, vol.8483

Materias:Ciencias > Informática
Ciencias > Informática > Software
Código ID:37046
Depositado:12 Abr 2016 14:28
Última Modificación:20 Abr 2016 08:53

Descargas en el último año

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