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

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

Descripción

Título: PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode
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: 2010 ACM SIGPLAN workshop onPartial evaluation and program manipulation
Fechas del Evento: 18/01/2010 - 19/01/2010
Lugar del Evento: Madrid, España
Título del Libro: PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Fecha: 2010
ISBN: 978-1-60558-727-1
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 (294kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 9126
Identificador DC: http://oa.upm.es/9126/
Identificador OAI: oai:oa.upm.es:9126
URL Oficial: http://dl.acm.org/citation.cfm?id=1706363
Depositado por: Memoria Investigacion
Depositado el: 15 Nov 2011 09:29
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