Compositional CLP-based Test Data Generation for Imperative Languages

Albert Albiol, Elvira; Gomez Zamalloa, Miguel; Rojas Siles, Jose Miguel y Puebla Sánchez, Alvaro Germán (2010). Compositional CLP-based Test Data Generation for Imperative Languages. En: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.

Descripción

Título: Compositional CLP-based Test Data Generation for Imperative Languages
Autor/es:
  • Albert Albiol, Elvira
  • Gomez Zamalloa, Miguel
  • Rojas Siles, Jose Miguel
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 20th international conference on Logic-based program synthesis and transformation LOPSTR'10
Fechas del Evento: 23/07/2010 - 25/07/2010
Lugar del Evento: Hagenberg, Austria
Título del Libro: Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Fecha: 2010
ISBN: 978-3-642-20550-7
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (618kB) | Vista Previa

Resumen

Glass-box test data generation (TDG) is the process of automatically generating test input data for a program by considering its internal structure. This is generally accomplished by performing symbolic execution of the program where the contents of variables are expressions rather than concrete values. The main idea in CLP-based TDG is to translate imperative programs into equivalent CLP ones and then rely on the standard evaluation mechanism of CLP to symbolically execute the imperative program. Performing symbolic execution on large programs becomes quickly expensive due to the large number and the size of paths that need to be explored. In this paper, we propose compositional reasoning in CLP-based TDG where large programs can be handled by testing parts (such as components, modules, libraries, methods, etc.) separately and then by composing the test cases obtained for these parts to get the required information on the whole program. Importantly, compositional reasoning also gives us a practical solution to handle native code, which may be unavailable or written in a different programming language. Namely, we can model the behavior of a native method by means of test cases and compositional reasoning is able to use them

Más información

ID de Registro: 9134
Identificador DC: http://oa.upm.es/9134/
Identificador OAI: oai:oa.upm.es:9134
Depositado por: Memoria Investigacion
Depositado el: 15 Nov 2011 09:11
Ultima Modificación: 20 Abr 2016 17:40
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM