Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Structuring research methods and data with the research object model: genomics workflows as a case study

Background: One of the main challenges for biomedical research lies in the computer-assisted integrative study of large and increasingly complex combinations of data in order to understand molecular mechanisms. The preservation of the materials and methods of such computational experiments with clear annotations is essential for understanding an experiment, and this is increasingly recognized in the bioinformatics community. Our assumption is that offering means of digital, structured aggregation and annotation of the objects of an experiment will provide necessary meta-data for a scientist to understand and recreate the results of an experiment. To support this we explored a model for the semantic description of a workflow-centric Research Object (RO), where an RO is defined as a resource that aggregates other resources, e.g., datasets, software, spreadsheets, text, etc. We applied this model to a case study where we analysed human metabolite variation by workflows. Results: We present the application of the workflow-centric RO model for our bioinformatics case study. Three workflows were produced following recently defined Best Practices for workflow design. By modelling the experiment as an RO, we were able to automatically query the experiment and answer questions such as “which particular data was input to a particular workflow to test a particular hypothesis?”, and “which particular conclusions were drawn from a particular workflow?”. Conclusions: Applying a workflow-centric RO model to aggregate and annotate the resources used in a bioinformatics experiment, allowed us to retrieve the conclusions of the experiment in the context of the driving hypothesis, the executed workflows and their input data. The RO model is an extendable reference model that can be used by other systems as well.

El perfil de los consumidores de productos de comercio justo. Análisis de las variables que influyen en su intención de compra

El consumo mundial, impulsor del desarrollo y crecimiento económico de los pueblos, no ha sido igual para todas las naciones, ya que sus efectos han sido diferentes para los ciudadanos de los países del Norte y los del Sur, principalmente por dos razones: una, porque han originado complejos y diferentes estilos de vida y aspiraciones, lo que ha originado grandes diferencias entre los individuos de unos y otros países, y, dos, por su falta de valores sociales y éticos. Ante esta situación, la sociedad en su conjunto debe tomar conciencia de este hecho, y a través de un consumo responsable y de un mayor conocimiento de las relaciones comerciales entre los pueblos, debe optar por consumir productos elaborados bajo criterios de justicia y equidad. Para ayudar a alcanzar estos objetivos de equidad, solidaridad, justicia y ética, nació el Comercio Justo, que, en el caso de España, llegó con veinte años de retraso en la década de los ochenta. Aunque a día de hoy sus ventas crecen a un buen ritmo, siguen siendo inferiores al resto de los países europeos, por cuatro razones: (1) el desconocimiento que la mayoría de los potenciales consumidores tienen de este movimiento social; (2) la dificultad de acceder a los productos que comercializan; (3) el poco impulso que se ofrece desde las Administraciones Públicas; y, (4) porque hay pocas investigaciones en las que se haya analizado el Comercio Justo desde la perspectiva de la demanda, lo que ha implicado que no haya un conocimiento profundo sobre los consumidores de este tipo de productos y sobre sus motivaciones de compra. En base a todo lo expuesto, el presente trabajo se concibe como un estudio exploratorio, que tiene como objetivo principal analizar el perfil de los consumidores y no consumidores de productos de Comercio Justo, sus motivaciones de compra y no compra, así como las variables que influyen en la intención de compra futura, tanto en el segmento de consumidores actuales, como en el segmento de no consumidores de este tipo de productos. Para la realización de este trabajo, se ha utilizado, por una parte, una metodología cualitativa, que ha permitido acceder a la información sobre las opiniones y actitudes que intervienen en los procesos de decisión de compra; y, por otra, una metodología cuantitativa, a través de una encuesta online dirigida a 6.500 individuos, que ha permitido tener información, a través de sendos análisis descriptivos univariante y bivariante, de los individuos encuestados sobre el objeto del estudio. Para validar los modelos y contrastar las hipótesis planteadas, se ha utilizado el análisis de fiabilidad y validación de las escalas de medición seleccionadas (Alpha de Cronbach); el análisis factorial exploratorio, para comprobar la dimensionalidad y validez convergente de las escalas de medida; el análisis factorial confirmatorio, para validar la idoneidad de los modelos de medida propuestos; la regresión logística, para comprobar la validez del modelo general de la probabilidad de la compra o no compra de productos de Comercio Justo; y la regresión lineal múltiple, para comprobar la validez de los modelos específicos de intención de compra futura en los segmentos de compradores y de no compradores. Para realizar todos estos análisis, se han utilizado las herramientas informáticas SPSS v21 y AMOS. Las principales conclusiones del trabajo son: (1) que se deben establecer unos criterios claros que definan quién es quién en el movimiento de Comercio Justo, sus fines, sus objetivos, los productos que comercializan, así como su funcionamiento y desarrollo en España; (2) que, a pesar de las grandes ventajas y posibilidades del Comercio Justo, hay una falta de demanda de estos productos por parte de los consumidores responsables, debido principalmente a la falta de información-comunicación sobre el propio movimiento, y, muy especialmente, a la falta de información sobre los productos, los canales de comercialización, las políticas de precios, las políticas de comunicación, etc., y a la necesidad de que estos productos estén accesibles en los lugares donde los consumidores hacen su compra habitual; y (3) que el Comercio Justo español debe afrontar una serie de desafíos, como son la coordinación entre las diferentes organizaciones que participan en su desarrollo; la sensibilización de los consumidores; la creación de una imagen de marca que defina de una manera clara y sencilla qué es el Comercio Justo; la orientación al cliente y no al producto; y extender la red de comercialización de productos de Comercio Justo a los canales donde los consumidores hacen su compra habitualmente. ABSTRACT Global consumption, the driver of economic growth and development of nations, is not the same for all countries, since its effects have been different on people coming from the North or the South. This is due mainly to two reasons: firstly, because they have developed complex and different lifestyles and aspirations, which have led to significant differences between individuals of one country and another and secondly, because they lack social and ethical values. Given this situation, society as a whole should be aware of this fact, and through responsible consumption and a greater knowledge of trade relations between countries, should opt for consuming products produced with criteria of justice and equity. Fair Trade began as a way to help reach these goals of equity, solidarity, justice and ethics. In the case of Spain it did not start until 20 years later, in the eighties. Although today sales of Fair Trade products are growing at a good rate, they are still below that of other European countries, for four reasons: (1) unawareness of this social movement; (2) the difficult access to these products; (3) insufficient government support; (4) the limited research carried out to analyse Fair Trade from the perspective of demand, resulting in a lack of knowledge about this type of consumer and their purchasing motivations. Based on the above, the present study is designed as an exploratory investigation, aimed at analyzing the profile of consumers and non-consumers of Fair Trade, their motivations for buying and not buying, as well as the variables which influence future purchase intention in both the current consumer segment, and the non-user segment of such products. To carry out this study we have used, on the one hand, a qualitative methodology, to obtain information about the views and attitudes involved in the purchase decision process; and on the other, a quantitative methodology, through an online survey of 6,500 individuals, which provided information through two separate univariate and bivariate descriptive analysis, of the individuals interviewed about the object of this study. To validate the models and contrast hypotheses, we have used the reliability analysis and validation of the selected measurement scales (Cronbach's Alpha); exploratory factor analysis to verify the dimensionality and convergent validity of the measurement scales; confirmatory factor analysis to validate the adequacy of the models of measurement proposed; logistic regression, to verify the validity of the general model of the probability of buying or not buying Fair Trade products; and multiple linear regression to test the validity of specific models in future purchase intention in the segments of buyers and non-buyers. To carry out these analyses, we used SPSS v21 software tools and AMOS. The principal conclusions of the investigation are: (1) the need to establish clear criteria which define who is who in the Fair Trade movement, its goals, objectives, the products they sell, as well as its operation and development in Spain; (2) that despite the great advantages and possibilities of Fair Trade, there is a lack of demand for these products by responsible consumers, mainly due to the lack of information-communication about the movement itself, and especially on the range of products, sales channels, pricing policies, communication policies, etc., and the need for these products to be available in places where consumers make their usual purchase; and (3) that Spanish Fair Trade must address a number of challenges such as: coordination between the different organizations involved in trade development; consumer awareness; creation of a brand image that defines in a clear and simple way what Fair Trade is; focus on the customer rather than the product; and expansion of the network of Fair Trade sales outlets to include the channels where consumers usually make their purchases.

La casa en imágenes : pulsos, ecos y huellas del habitar contemporáneo

La imagen fotográfica es un bloque espacio tiempo congelado, un fragmento referido al antes y el después de algo. Al contemplar una fotografía de un interior doméstico, descubrimos un entretejido sutil entre el habitante y su hábitat. Somos capaces de recaer en más detalles de los que el ojo humano puede apreciar en su visión cotidiana, siempre ligada al devenir espacio temporal. El acto de fotografiar el hogar, de congelar unidades habitadas infinitesimales, se revela como una manifestación radical del modo unipersonal de habitar de cada fotógrafo, profesional o aficionado, y por extensión, dado que hoy todos somos fotógrafos; de cada habitante. Por un lado, la fotografía se piensa aquí como herramienta, capaz de desvelar, de poner en el mundo, los elementos, percepciones y acontecimientos, que subyacen imbricados en la construcción del hogar. Por otro, la imagen se entiende como medio de expresión y de comunicación, como el lenguaje universal de nuestro tiempo, por todos conocido y utilizado. En este momento de interconexión máxima, entre redes, datos y capas de cognición, de velocidad y aceleración, esta tesis doctoral se plantea como una vuelta a la reflexión, a la contemplación del objeto imagen, desde la certeza de que para que ésta hable hay que darle tiempo. Así, la investigación hay que entenderla desde una base ontológica y fenomenológica; desde la experiencia del ser que habita un entorno concreto y determinado. Se enmarca en el actual entorno socio cultural de occidente, se busca desvelar el significado y modo de habitar del habitante común, poniendo de manifiesto aquello que acontece para que una casa cualquiera, de un habitante cualquiera, devenga hogar. Los primeros indicios sobre el tema surgirán del análisis y la reinterpretación hermenéutica de un atlas de imágenes del habitar: cuerpo de imágenes reunido a partir de series fotográficas de hogares, de habitantes anónimos, puestos a luz por la mirada de un grupo de artistas. Posteriormente, ponemos a prueba el conocimiento adquirido en el análisis anterior, mientras que expandimos la investigación hacia el sentir del habitante común, mediante la realización de tres experimentos participativos, o estudios de campo cualitativos. Los resultados, de ambos grupos de casos de estudio, se compilan, organizan y estructuran en una taxonomía del habitar. Esta taxonomía está compuesta por cuarenta y siete parámetros, que explicitan la naturaleza compleja del hogar del siglo XXI. Este hogar es entendido como un constructo personal de cada habitante, un proceso que acontece en el tiempo y en el espacio, y que entraña la propia construcción del habitante. Esta extensa taxonomía se organiza según tres ámbitos del ser humano, en el primero se expresan los factores relacionados con el modo de "estar físicamente" en el hogar, incluyendo: al propio habitante, la casa como espacio arquitectónico y como materialidad: objetos, muebles, iconos y símbolos que pueblan el hogar. En segundo lugar, se manifiestan los parámetros relacionados con el modo de “percibir”: por un lado, aquello que se deriva de lo que se ve, y por otro, lo que se deriva de aquello que no se ve, pero se siente. En tercer lugar, se explicitan los factores relativos al habitante que "crea/juega" su hogar, quién por un lado, es en el mundo actuando, y que por otro, siente el mundo construyéndolo mediante una serie de relaciones que establece con él. Finalmente, la investigación intenta revelar las sinergias, conexiones y relaciones, entre todos estos elementos extraídos del sentir del habitante común, y que fueron inducidos mediante el análisis y reinterpretación de los casos de estudio, poniendo de manifiesto un orden de cosas en el habitar occidental contemporáneo. ABSTRACT The photographic image is a frozen space time block, a fragment referred to a something before and after. When we stare at the photography of domestic interiors we discover a subtle interweaving between the inhabitant and her habitat. We are able to acknowledge infinite more details than the human eye, in its continuous quotidian vision always linked to the space time progression, appreciates. The act of photographing the home, of freezing infinitesimal inhabited units, reveals as a radical statement of the concept of inhabiting for each photographer, professional or amateur, and by extension, as we today all are photographers, for each inhabitant. On the one hand, photography is here conceived as a tool that is capable of revealing, "of placing in the world" the elements, perceptions and happenings that underlie imbricated in the construction of a home. On the other hand, image is thought as an expression and communication media, as the universal language of our time (as far as it is known and used by all of us). In this precise moment of maximum interconnection between networks, data and cognitive layers; of speed and acceleration, this PhD Dissertation is conceived as a return to reflection; to the contemplation of object image, from the certainty of its need of time for talking. Therefore, this research from an ontological and phenomenological base; from the experience of the self who inhabits a determined and concrete environment, that of the western countries at the present, pursues to unveil the meaning and way of inhabiting of a common dweller and manifest what conforms the transformation of any house, of any inhabitant into a home. The first clues will arise from the analysis and hermeneutical reinterpretation of the Atlas of inhabiting; an assembled body of images of anonymous inhabitants houses, brought into life through a group of artist´s glance. Afterwards, we will test the analysis´s acquired knowledge, while extending the investigation to the feel of the common inhabitant (and no longer the expert^ artist) through the execution of three participative experiments conceived as qualitative field works. The results of both case study groups, will be compiled, organized and structured in a taxonomy of the inhabiting. This taxonomy is composed by forty seven parameters that explicitly state the complex nature of the XXI century home, regarded as a personal construct of every single inhabitant, as a process that happens through time and space and that entails the construction of the inhabitant. This wide taxonomy is organized regarding three spheres of the human being, In first place, those elements related to the way of “physically being” at home are expressed, including: the inhabitant its self, the house as architectural space and as materiality: objects, furniture, icons and symbols that fill the home. In second place, parameters related to the way of “perceiving“ are manifested; on the one hand, those that derive from what we see; on the other hand, those that derive from what we do not see, but feel. In third place, those factors deriving from the inhabitant as a home "creator/player" who is acting in the world and feeling the world while constructing it through a myriad of relationships he establishes with it. Finally, the investigation tries to reveal the synergies, connections and relations between all these elements extracted from the feelings of the common inhabitant, induced through the analysis and reinterpretation of the case studies, and therefore exposing a state of things belonging to western world at present.