¿Cuál es una de las aplicaciones de la decompilación interpretativa mencionada en el texto? a) Reutilizando herramientas de análisis de LP: Utiliz...

¿Cuál es una de las aplicaciones de la decompilación interpretativa mencionada en el texto?

a) Reutilizando herramientas de análisis de LP: Utilizando el sistema CiaoPP sobre nuestros programas decompilados, hemos sido capaces de demostrar ciertas propiedades no triviales de programas Java Bytecode como terminación y ausencia de errores, así como, para programas sencillos, inferir cotas de su consumo de recursos. Este trabajo aparece en el Artículo 1.
b) Generación de datos de prueba: Uno de los enfoques estándar para generar automáticamente datos de prueba consiste en hacer ejecución simbólica de los programas [29, 57]. En ésta, los contenidos de las variables son expresiones en lugar de valores concretos. El hecho de que nuestros programas decompilados sean programas Prolog ejecutables, nos permite poder utilizar técnicas inherentes a la CLP (como el backtracking y la manipulación de restricciones) para realizar la ejecución simbólica. Hemos desarrollado un esquema novedoso de generación de casos de prueba utilizando nuestros programas (C)LP decompilados. Mostramos además como la fase de generación de casos de prueba en CLP, puede verse como otra EP, lo que nos permite obtener no sólo casos de prueba, sino también generadores de casos de prueba. Este trabajo ha dado lugar al Artículo 7. Como contribución tangencial, hemos aplicado la misma idea para generar automáticamente casos de prueba para Prolog. Un estudio preliminar en esta dirección aparece en el Artículo 8.