Test Data Generation of Bytecode by CLP Partial Evaluation

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

Description

Title: Test Data Generation of Bytecode by CLP Partial Evaluation
Author/s:
  • Albert Albiol, Elvira
  • Gomez Zamalloa, Miguel
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: 18th International Symposium, LOPSTR 2008
Event Dates: 17/07/2008 - 18/07/2008
Event Location: Valencia, España
Title of Book: Logic-Based Program Synthesis and Transformation. 18th International Symposium, LOPSTR 2008
Date: 2008
ISBN: 978-3-642-00514-5
Volume: 5438
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (705kB) | Preview

Abstract

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.

More information

Item ID: 5697
DC Identifier: http://oa.upm.es/5697/
OAI Identifier: oai:oa.upm.es:5697
Official URL: http://www.springerlink.com/content/84r25190j5w13552/
Deposited by: Memoria Investigacion
Deposited on: 12 Jan 2011 12:28
Last Modified: 20 Apr 2016 14:26
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM