Sciweavers

Share
PEPM
2010
ACM

PET: a partial evaluation-based test case generation tool for Java bytecode

10 years 11 months ago
PET: a partial evaluation-based test case generation tool for Java bytecode
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...
Elvira Albert, Miguel Gómez-Zamalloa, Germ&
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2010
Where PEPM
Authors Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
Comments (0)
books