PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2010). PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: "2010 ACM SIGPLAN workshop onPartial evaluation and program manipulation", 18/01/2010 - 19/01/2010, Madrid, España. ISBN 978-1-60558-727-1.

Description

Title: PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode
Author/s:
  • Albert Albiol, Elvira
  • Gomez Zamalloa, Miguel
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: 2010 ACM SIGPLAN workshop onPartial evaluation and program manipulation
Event Dates: 18/01/2010 - 19/01/2010
Event Location: Madrid, España
Title of Book: PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Date: 2010
ISBN: 978-1-60558-727-1
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 (294kB) | Preview

Abstract

PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Partial Evaluations (PE). The first PE decompiles the Java bytecode program into an equivalent CLP (Constraint Logic Programming) counterpart. The second PE generates a test-case generator from the CLP program. This generator captures interesting test coverage criteria and it is able to generate further test cases on demand. For the first PE, PET incorporates an existing tool which decompiles bytecode to CLP. The main contribution of this work is the implementation of the second PE and the proof of concept of the approach. This has required the development of a partial evaluator for CLP with appropriate control strategies to ensure the required coverage criteria and to generate test-case generators. PET can be downloaded as free software from its web site, where a repository of examples and a web interface are also provided. Though PET has to be extended to be applicable to larger programs, we argue that it provides some evidence that the approach can be of practical interest.

More information

Item ID: 9126
DC Identifier: http://oa.upm.es/9126/
OAI Identifier: oai:oa.upm.es:9126
Official URL: http://dl.acm.org/citation.cfm?id=1706363
Deposited by: Memoria Investigacion
Deposited on: 15 Nov 2011 09:29
Last Modified: 20 Apr 2016 17:40
  • 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