Test Data Generation of Bytecode by CLP Partial Evaluation

Albert Albiol, Elvira; Gomez Zamalloa, Miguel y Puebla Sánchez, Alvaro Germán (2008). Test Data Generation of Bytecode by CLP Partial Evaluation. En: "18th International Symposium, LOPSTR 2008", 17/07/2008 - 18/07/2008, Valencia, España. ISBN 978-3-642-00514-5.

Descripción

Título: Test Data Generation of Bytecode by CLP Partial Evaluation
Autor/es:
  • Albert Albiol, Elvira
  • Gomez Zamalloa, Miguel
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 18th International Symposium, LOPSTR 2008
Fechas del Evento: 17/07/2008 - 18/07/2008
Lugar del Evento: Valencia, España
Título del Libro: Logic-Based Program Synthesis and Transformation. 18th International Symposium, LOPSTR 2008
Fecha: 2008
ISBN: 978-3-642-00514-5
Volumen: 5438
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 (705kB) | Vista Previa

Resumen

We employ existing partial evaluation (PE) techniques developed for Constraint Logic Programming (CLP) in order to automatically generate test-case generators for glass-box testing of bytecode. Our approach consists of two independent CLP PE phases. (1) First, the bytecode is transformed into an equivalent (decompiled) CLP program. This is already a well studied transformation which can be done either by using an ad-hoc decompiler or by specialising a bytecode interpreter by means of existing PE techniques. (2) A second PE is performed in order to supervise the generation of test-cases by execution of the CLP decompiled program. Interestingly, we employ control strategies previously defined in the context of CLP PE in order to capture coverage criteria for glass-box testing of bytecode. A unique feature of our approach is that, this second PE phase allows generating not only test-cases but also test-case generators. To the best of our knowledge, this is the first time that (CLP) PE techniques are applied for test-case generation as well as to generate test-case generators.

Más información

ID de Registro: 5697
Identificador DC: http://oa.upm.es/5697/
Identificador OAI: oai:oa.upm.es:5697
URL Oficial: http://www.springerlink.com/content/84r25190j5w13552/
Depositado por: Memoria Investigacion
Depositado el: 12 Ene 2011 12:28
Ultima Modificación: 20 Abr 2016 14:26
  • 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