Universidad Complutense de Madrid
E-Prints Complutense

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

Impacto

Downloads

Downloads per month over past year



Albert Albiol, Elvira and Arenas Sánchez, Purificación and Gómez Zamalloa, Miguel and 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]
Preview
PDF
883kB

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



Abstract

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.


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

Publicado en Lecture Notes in Computer Science, vol.8483

Subjects:Sciences > Computer science
Sciences > Computer science > Software
ID Code:37046
Deposited On:12 Apr 2016 14:28
Last Modified:20 Apr 2016 08:53

Origin of downloads

Repository Staff Only: item control page