Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para Java

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under test to emulate programming faults, and assessing whether the existing test cases detect such mutations. MT has been extensively studied since the 70’s, and many tools have been proposed for widely used languages like C, Java, Fortran, Ada and SQL+ADs and for notations like Petri-nets. However, building MT tools is costly and error-prone, which may prevent their development for new programming and domain-specific (modelling) languages.In this paper, we propose a framework called Wodel-Test to reduce the effort to create MT tools. For this purpose, it follows a model-driven approach by which MT tools are synthesized from a high-level description. This description makes use of the domain-specific language Wodel to define and execute model mutations. Wodel is language-independent, as it allows the creation of mutation operators for any language defined by a meta-model. Starting from the definition of the mutation operators, Wodel-Test generates a MT environment which parses the program under test into a model, applies the mutation operators, and evaluates the test-suite against the generated mutants, offering a rich collection of MT metrics. We report on an evaluation of the approach based on the creation of MT tools for Java and the Atlas transformation language.

Autores: Pablo Gómez-Abajo / Esther Guerra / Juan de Lara / Mercedes Merayo / 
Palabras Clave: Domain Specific Languages - Java - model mutation - Model Transformation - Model-Driven Engineering - Mutation testing

Una experiencia con transformaciones modelo-modelo en un proyecto de modernización

Las transformaciones modelo-modelo en procesos de reingeniería, en especial en la etapa de ingeniería inversa, suelen ser complejas e implican la escritura de mucho código imperativo. Este hecho junto a la falta de madurez de los lenguajes y entornos para el desarrollo de este tipo de transformaciones fueron los principales factores que influyeron en la decisión de usar Java y el API EMF dentro de un proyecto de migración de aplicaciones Oracle Forms a Java. En este artículo se presentan los resultados iniciales de una comparación entre diferentes soluciones para escribir transformaciones modelo-modelo a partir de las transformaciones implementadas en ese proyecto.

Autores: Carlos Javier Fernández Candel / Jesús García-Molina / Francisco Javier Bermúdez Ruiz / Diego Sevilla Ruiz / 
Palabras Clave: ATL - comparación - Ingeniería Inversa - Java - lenguajes de transformación modelo-modelo - migración - QVT

HADAS: Asistente de eco-eficiencia con repositorio de consumo energético

El interés por la Ingeniería del Software verde, o sea, sensible al consumo de energía, es relativamente reciente. Su objetivo es concienciar a los desarrolladores de software de la influencia que tienen sus decisiones de diseño e implementación en el gasto energético del producto final. Hasta el momento se han publicado muchos resultados experimentales que comparan el consumo de energía de varias soluciones alternativas, y que demuestran que se puede reducir dicho consumo hasta en un 70 %. Aunque estos resultados sean de libre disposición, no es sencillo que un desarrollador aplique este conocimiento a sus aplicaciones. En consecuencia, en este artículo presentamos el eco-asistente HADAS cuya utilidad es: (i) los investigadores almacenarán sus resultados en un repositorio de libre disposición, (ii) los desarrolladores podrán razonar y obtener las configuraciones que menos energía consuman y que satisfaga sus requisitos. Nos centraremos en mostrar los elementos principales de nuestra propuesta y cómo se aplica a casos de estudio reales.

Autores: Daniel Jesus Munoz Guerra / Monica Pinto Alarcon / Lidia Fuentes Fernandez / 
Palabras Clave: CVL - Energía - Java - Línea de Productos Software - Servidor - Variabilidad

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada