Automated generation of computationally hard feature models using evolutionary algorithms

This is the post-print version of the final paper published in Expert Systems with Applications. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2014 Elsevier B.V.A feature model is a compact representation of the products of a software product line. The automated extraction of information from feature models is a thriving topic involving numerous analysis operations, techniques and tools. Performance evaluations in this domain mainly rely on the use of random feature models. However, these only provide a rough idea of the behaviour of the tools with average problems and are not sufficient to reveal their real strengths and weaknesses. In this article, we propose to model the problem of finding computationally hard feature models as an optimization problem and we solve it using a novel evolutionary algorithm for optimized feature models (ETHOM). Given a tool and an analysis operation, ETHOM generates input models of a predefined size maximizing aspects such as the execution time or the memory consumption of the tool when performing the operation over the model. This allows users and developers to know the performance of tools in pessimistic cases providing a better idea of their real power and revealing performance bugs. Experiments using ETHOM on a number of analyses and tools have successfully identified models producing much longer executions times and higher memory consumption than those obtained with random models of identical or even larger size.European Commission (FEDER), the Spanish Government and the Andalusian Government

Mutation testing on an object-oriented framework: An experience report

This is the preprint version of the article - Copyright @ 2011 ElsevierContext The increasing presence of Object-Oriented (OO) programs in industrial systems is progressively drawing the attention of mutation researchers toward this paradigm. However, while the number of research contributions in this topic is plentiful, the number of empirical results is still marginal and mostly provided by researchers rather than practitioners. Objective This article reports our experience using mutation testing to measure the effectiveness of an automated test data generator from a user perspective. Method In our study, we applied both traditional and class-level mutation operators to FaMa, an open source Java framework currently being used for research and commercial purposes. We also compared and contrasted our results with the data obtained from some motivating faults found in the literature and two real tools for the analysis of feature models, FaMa and SPLOT. Results Our results are summarized in a number of lessons learned supporting previous isolated results as well as new findings that hopefully will motivate further research in the field. Conclusion We conclude that mutation testing is an effective and affordable technique to measure the effectiveness of test mechanisms in OO systems. We found, however, several practical limitations in current tool support that should be addressed to facilitate the work of testers. We also missed specific techniques and tools to apply mutation testing at the system level.This work has been partially supported by the European Commission (FEDER) and Spanish Government under CICYT Project SETI (TIN2009-07366) and the Andalusian Government Projects ISABEL (TIC-2533) and THEOS (TIC-5906)

Rol protector de propóleos frente a estrés oxidativo en fibroblastos

28 p.El desbalance entre los procesos de oxidación y reducción en el organismo provocan el denominado estrés oxidativo, fenómeno que se ha asociado a múltiples patologías, razón por la que cada día existe mayor interés en encontrar compuestos antioxidantes, que ayuden a mantener este equilibrio, ya sea para prevenir o atenuar este proceso. En esta búsqueda ha destacado el propóleos, una resina elaborada por la abeja productora de miel Apis mellifera; el que asociado a su alta concentración de compuestos fenólicos ha mostrado tener una alta capacidad antioxidante; acción que se ha asociado a su capacidad de neutralizar radicales libres, donar hidrógeno, quelar iones metálicos e inhibir sistemas enzimáticos.Además, el propóleos también actúa como un antioxidante indirecto, regulando la expresión génica de mecanismos protectores contra el estrés oxidativo, a través de la activación de mecanismos antioxidantes, vía Nrf2/HO-1; actuando como un antioxidante bifuncional; por lo que en este estudio se evaluó el efecto citoprotector directo e indirecto, de extractos metanólicos de propóleos de la VI (E1) y VII región (E2); para lo cual se determinó la viabilidad celular en células fibroblasto de ratón NIH-3T3 incubadas con estos extractos a diferentes tiempos. De esta manera, se observó una disminución de la citotoxicidad generada por el H2O2 y t-BOOH en el ensayo directo, con ambos extractos; respecto del efecto citoprotector indirecto, este sólo se evidenció ante el daño generado por el t-BOOH, y la protección fue independiente de las concentraciones en el E1 y sólo se logró a concentración de 10 μg/ml del E2. En conclusión, demostramos la existencia de un rol protector antioxidante directo y al menos, parcialmente, un rol indirecto, lo que viene a aportar algo más de conocimiento acerca de los efectos con potencial terapéutico del propóleos

Desarrollo de una metodología para el diagnóstico viral y la producción de plantas de camote libres de virus

Proyecto de Investigación (Código: 5402-2151-8701) Instituto Tecnológico de Costa Rica. Vicerrectoría de Investigación y Extensión (VIE). Escuela de Ingeniería en Agronomía, 2013El objetivo general de este proyecto fue producir plantas de camote libre de virus. Para lograr este objetivo primero se identificaron los virus más comunes en los cantones de San Carlos y San Ramón (San Isidro de Peñas Blancas), utilizando la técnica NCM-ELISA, posteriormente se desarrolló un metodología para la limpieza viral, combinando la termoterapia con el cultivo de meristemos y se evaluó el crecimiento y la producción de esquejes provenientes de plantas libres de virus con esquejes provenientes de plantas de campo. Los resultados más importantes fueron, el principal virus detectado en la zona de estudio fue el SPFMV. El tratamiento de explantes a 40 ºC por 10 h y posterior extracción del meristemo produjo un 100% plantas libres de virus según el análisis NCM-Elisa. Por último, los esquejes procedentes de plantas in vitro libre de virus mostraron un mejor crecimiento y producción que aquellas provenientes de plantas de campo

Automated metamorphic testing on the analyses of feature models

Copyright © 2010 Elsevier B.V. All rights reserved.Context: A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged to be time-consuming, error-prone and in most cases infeasible due to the combinatorial complexity of the analyses, this is known as the oracle problem.Objective: In this paper, we propose using metamorphic testing to automate the generation of test data for feature model analysis tools overcoming the oracle problem. An automated test data generator is presented and evaluated to show the feasibility of our approach.Method: We present a set of relations (so-called metamorphic relations) between input FMs and the set of products they represent. Based on these relations and given a FM and its known set of products, a set of neighbouring FMs together with their corresponding set of products are automatically generated and used for testing multiple analyses. Complex FMs representing millions of products can be efficiently created by applying this process iteratively.Results: Our evaluation results using mutation testing and real faults reveal that most faults can be automatically detected within a few seconds. Two defects were found in FaMa and another two in SPLOT, two real tools for the automated analysis of feature models. Also, we show how our generator outperforms a related manual suite for the automated analysis of feature models and how this suite can be used to guide the automated generation of test cases obtaining important gains in efficiency.Conclusion: Our results show that the application of metamorphic testing in the domain of automated analysis of feature models is efficient and effective in detecting most faults in a few seconds without the need for a human oracle.This work has been partially supported by the European Commission(FEDER)and Spanish Government under CICYT project SETI(TIN2009-07366)and the Andalusian Government project ISABEL(TIC-2533)

Functional Testing of Feature Model Analysis Tools. A First Step

The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific solver is an error-prone and time-consuming task. To improve this situation, we propose to design a generic set of test cases to verify the functionality and correctness of the tools for the automated analysis of FMs. These test cases would help to improve the reliability of the existing tools while reducing the time needed to develop new ones. As a starting point, in this position paper we overview some of the classifications of software testing methods reported in the literature and study the adequacy of each approach to the context of our proposal.CICYT TIN2006-00472Junta de Andalucía TIC-253

Detección temprana de ojo seco con nuevas estrategias diagnósticas antes y después de facoemulsificación de catarata

Propósito, Objetivo y Método del Estudio: Estudio prospectivo, transversal y longitudinal, comparativo, no ciego en pacientes pre-quirúrgicos de facoemulsificación de catarata y al mes de la misma para evaluar prevalencia de ojo seco antes y despues de la cirugía. Así como objetivo determinar cuál estrategia diagnóstica es la más adecuada para la detección temprana de ojo seco, especificando si las nuevas estrategias diagnósticas son equivalentes, complementarias o superiores a las estrategias tradicionales para realizar la detección temprana e identificación de alteraciones estructurales, inflamatorias y funcionales de ojo seco Resultados: Se revisaron 65 pacientes (130 ojos), de los cuáles se lograron finalizar e incluir 39 pacientes (39 ojos, 1 ojo por paciente). Se incluyeron 20 ojos derechos y 19 ojos izquierdos de 22 mujeres y 17 hombres con una edad promedio de 65 años. Todos los pacientes presentaban el diagnóstico de catarata y se encontraban por demás sanos. En general tenían una vida sedentaria (59%), con realización de lectura (53.8%) y expuestos a contaminación (51.3%) y al sol (48.7). Un 30.8% de nuestros pacientes eran usuarios de gotas lubricantes con conservador. Detectamos una prevalencia de blefaritis posterior de 74.4% por expresibilidad y de blefaritis anterior de 57.9% por escamas. La prevalencia de ojo seco por OSDI antes y después de la cirugía fue de 89.2% y 47.2% respectivamente; por TRL fue de 43.8% y 68.4%; por osmolaridad fue de 34.2% y 41%, y por Schirmer sin anestesia 30.8% y 25.6% respectivamente por lo que se encuentra subdiagnosticada de manera importante. Se observó un cambio estadísticamente significativo (p=.000) en las agudezas visuales sin corrección, con agujero estenopeico y mejor corregido. Ninguna de las demás variables exploradas (párpados, pestañas, córnea, conjuntiva, etc.) mostró cambio alguno. No se modificó la sensibilidad corneal posterior a la cirugía. No se observó deterioro estadísticamente significativo posterior a la cirugía de catarata de ninguna estratega diagnóstica nueva ni tradicional. Las encuestas sobre síntomas oculares se correlacionan entre ellas fuertemente. Las tinciones corneales son reproducibles entre ellas. Conclusiones y Contribuciones: El síndrome de ojo seco tiene alta prevalencia en la población estudiada y esta subdiagnosticado. Es importante la detección oportuna y tratamiento de este sindrome en los pacientes. Se puede utilizar cualquiera de las tinciones corneales para nuestros pacientes ya que son reproducibles entre ellas, al igual que las encuestas de ojo seco. Se recomienda utilizar multiples pruebas de ojo seco ya que evaluan aspectos distintos de la enfermedad. No recomendamos la realización de MMP-9 como herramienta de escrutinio de ojo seco en pacientes sanos. La cirugía de catarata por facoemulsificación es una cirugía segura, que no modifica la fisiología de la lágrima ni la sintomatología de ojo seco más allá de 1 mes postquirúrgico

Automated analysis of feature models 20 years later: a literature review

Software product line engineering is about producing a set of related products that share more commonalities than variabilities. Feature models are widely used for variability and commonality management in software product lines. Feature models are information models where a set of products are represented as a set of features in a single model. The automated analysis of feature models deals with the computer–aided extraction of information from feature models. The literature on this topic has contributed with a set of operations, techniques, tools and empirical results which have not been surveyed until now. This paper provides a comprehensive literature review on the automated analysis of feature models 20 years after of their invention. This paper contributes by bringing together previously-disparate streams of work to help shed light on this thriving area. We also present a conceptual framework to understand the different proposals as well as categorise future contributions. We finally discuss the different studies and propose some challenges to be faced in the future.CICYT TIN2009-07366CICYT TIN2006-00472Junta de Andalucía TIC-253