Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (705kB) | Preview |
Albert Albiol, Elvira, 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.
Title: | Test Data Generation of Bytecode by CLP Partial Evaluation |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (705kB) | Preview |
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.
Item ID: | 5697 |
---|---|
DC Identifier: | https://oa.upm.es/5697/ |
OAI Identifier: | oai:oa.upm.es:5697 |
Official URL: | http://www.springerlink.com/content/84r25190j5w135... |
Deposited by: | Memoria Investigacion |
Deposited on: | 12 Jan 2011 12:28 |
Last Modified: | 20 Apr 2016 14:26 |