Colección Digital Complutense


MATERIA PRINCIPAL


RESULTADO


Ordenar:

2 registros encontrados (0.02 seg).
  • jPET: un generador de casos de prueba sobre programas Java
    OAI: open archives initiativeColección E-prints Colección: Archivo institucional e-prints complutense
    • Autor: Cabañas Ruiz, Israel;Gutiérrez Mota, Sergio;lores Montoya, Antonio
    • Colaborador: Albert Albiol, Elvira;Gómez-Zamalloa Gil, Miguel
    • Resumen: PET es una herramienta ya existente para la generación de casos de prueba que recibe como entrada un código de bytes de Java y una selección entre los criterios de recubrimiento disponibles y obtiene como salida un conjunto de casos de prueba (test-cases) que garantizan el recubrimiento seleccionado. Puesto que el código de bytes es una representación de bajo
    •  
    • nivel del programa, la información inferida por PET es difícilmente interpretable por el usuario. Esto en concreto impide la utilización de PET durante el proceso de desarrollo de software, área en la que el testing tiene un amplio campo de aplicación. El objetivo del presente proyecto es la extensión de PET para su uso sobre programas Java de alto nivel y su integración en el entorno de desarrollo integrado Eclipse, con el objetivo de poder usar los resultados obtenidos por PET durante el proceso de desarrollo de software. El presente proyecto, al que hemos nombrado jPET, hace especial hincapié en el tratamiento posterior de la información generada por PET con el objetivo de presentarla al usuario de una forma fácil de entender. jPET incorpora un visor de casos de prueba (test-case viewer) que puede mostrar el contenido de la memoria antes de la ejecución (heap de entrada) y después de la ejecución de cada caso de prueba (heap de salida). jPET puede mostrar la traza de ejecución de un caso de prueba dado (i.e., la secuencia de instrucciones que el caso de prueba ejecutaría) de dos formas distintas: (1) marcando todas las instrucciones implicadas o (2) permitiendo al usuario reproducir la secuencia de instrucciones paso a paso usando la interfaz de depuración de Eclipse. Por último, puede analizar sintácticamente precondiciones de métodos escritas en JML (Java modeling language) y usarlas para evitar la generación de casos de prueba poco interesantes. Las principales contribuciones del proyecto se han recogido en un artículo titulado Software testing using jPET [2] que tenemos previsto enviarlo próximamente a un congreso internacional. [ABSTRAC] PET is an existing test case generation tool that takes as input a Ja-va bytecode program and a selection of a coverage criteria (among those available in the system) and returns in the output a set of test-cases which ensure the selected coverage. As bytecode is a low-level representation of the program, the information obtained by PET is difficult to interpret by a non-expert user. This particularly prevents the use of PET during software development, an area in which testing has a large application field. The goal of this pr oject is the extension of PET for its use on Java source programs and its integration within the Eclipse integrated development environment with the objective of being able to apply the results obtained by PET during sofware development. This project, named jPET, puts special emphasis on advanced processing of the information generated by PET in order to display it to the user in an easy way to interpret. For this purpose, jPET incorporates a viewer of test cases (test-case viewer) that can display the contents of the memory before execution (heap entry) and after the execution of each test case (heap output). jPET can show the execution trace of a given test case (i.e.,the sequence of instructions that execute the test case) in two ways: (1) by marking all instructions involved or (2) by allowing the user to reproduce the sequence of instructions step by step using the Eclipse debugger interface. Finally, jPET can parse preconditions of methods written in JML (Java Modeling Language) and use them to avoid the generation of test cases which are not interesting. The main contributions of this project have been written in a paper entitled Software testing using jPET [2] that will be submitted soon to an Internacional Conference
    • Palabras clave: Testing, Generación de casos de prueba, Ejecución simbólica, Precondiciones, Plugin de Eclipse. Test-case generation, Symbolic execution, Preconditions
    • Materia: Informática; Informática
    • Identificador OAI: oai:www.ucm.es:13011
    • Tipo: Trabajo de curso
    • Departamento: Fac. de Informática - Depto. de Sistemas Informáticos y Computación
    • CDU: 004.415.5(043.3)
    • Notas: Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2010-2011)







    [Recurso visitado 34 veces]

    Valoración:  








    Compártelo:
    • Facebook
    • Reporter MSN
    • Menéame
    • Del.icio.us
    • Digg
    • Technorati
    • My Yahoo!
    • Mister Wong
    • Twitter


  • Thermal Diapirism and the Habitability of the Icy Shell of Europa
    OAI: open archives initiativeTipo de documento: artículoColección E-prints Colección: Archivo institucional e-prints complutense
    • Título de publicación: Origins of Life and Evolution of the Biosphere
    • Autor: Amils, Ricardo;López, Valle;Montoya, Lilia;Ruiz Pérez, Javier
    • Resumen: Europa’s chaos and lenticulae features may have originated by thermal diapirs related to convective plumes. Warm ice plumes could be habitable, since their temperature is close to the ice melting temperature. Moreover, thermal plumes intruding into the lower stagnant lid warm several kilometers of country ice above 230 K for periods of
    •  
    • 105 years, and hundreds of meters above 240 K for periods of 104 years. Diapir coalescence generating chaos areas should provide a large zone with temperature above ∼240 K for thousands of years. A temperature above ∼230 K is potentially interesting for astrobiology, since it corresponds to the lowest temperature at which microbial metabolic activity in Antarctic ice has been reported. So, the warming by thermal plumes could cause an aureole of biological activation/reactivation in the country ice. Adaptation of life to either high salinity or low temperature is similar: it requires the synthesis of compatible solutes, like trehalose or glycerol, which are efficient cryoprotectants. We therefore propose that the future astrobiological exploration of Europa should include the search for compatible solutes in chaos and lenticulae features.
    • Materia: Geología
    • Identificador OAI: oai:www.ucm.es:10506
    • Tipo: Artículo
    • Editorial: Springer Science Business Media
    • Departamento: Fac. de CC. Geológicas - Depto. de Geodinámica
    • ISSN: 0169-6149
    • Notas: The original publication is available at www.springerlink.com







    [Recurso visitado 21 veces]

    Valoración:  








    Compártelo:
    • Facebook
    • Reporter MSN
    • Menéame
    • Del.icio.us
    • Digg
    • Technorati
    • My Yahoo!
    • Mister Wong
    • Twitter



IMPRIMIR LISTADO


Youtube


Resultados en Youtube


Flickr


Resultados en Flickr

FILTROS:

     COLECCIONES


     RESULTADO EN


     TIPO DE RECURSO


REGISTRO DE USUARIO

| | |
¿Para qué?

MENÚ DE LA SEMANA


OTROS BUSCADORES


TÉRMINOS RELACIONADOS


RED SEMÁNTICA


TE RECOMENDAMOS


NOVEDADES EN CISNE


NOTICIAS RSS DE LA BUC