Generación automática de casos de prueba para test de una GUI, usando colonia de hormigas y metaheurística golosa

Presenta una propuesta del uso de dos metaheurísticas: optimización basada en colonia de hormigas y metaheurística golosa, los que permitirán la generación automática de casos de prueba para test sobre una GUI (Graphical User Interface) con el objetivo de que sean aplicados al producto final (pruebas funcionales) y detecten en qué puntos el producto no cumple sus especificaciones. Esto facilitará a las empresas de software la modificación de algún artefacto o componente del sistema por cambios en el negocio, y la generación de nuevos casos de prueba asociados al cambio realizado.Tesi

Estudio de redes de calor de biomasa en municipios consolidados

El propósito de este proyecto es analizar una serie de localizaciones con diversas condiciones tanto climáticas, de consumo energético, densidad poblacional... donde recogeremos los valores típicos y límites de cada situación y a partir de ello, diseñar un modelo de distrito térmico en Aspen plus desde el cual poder simular estas variaciones, para posteriormente ver cómo influyen en otros parámetros característicos del distrito. Los objetivos perseguidos con este estudio son: • Estudio y análisis sobre las distintas localizaciones teniendo en cuenta: densidad poblacional, climatología, consumo energético y recursos de biomasa. • Crear un modelo consolidado de distrito térmico para poder reportar información coherente en su simulación. • Realizar una comparativa variando factores alterables de cada localización. • Estudiar la viabilidad económica de este tipo de redes de calor actualmente, comparándolo con la vivienda individual.Universidad de Sevilla. Grado en Ingeniería de la Energí

¿Están las bibliotecas públicas mejorando la calidad de la educación? Cuando la provisión de bienes públicos no es suficiente

We analyze the relation between public, education-related infrastructure and the quality of education in schools using a case-study of the construction and implementation of two large public libraries in low-income areas in Bogotá, Colombia. We assess the impact of these libraries on quality of education by comparing results in national test scores (Saber 11°) for schools close and far from these libraries before (2000-2002) and after (2003-2008) the libraries’ opening. We find non-statistically different from zero differences that could be attributed to the libraries’ implementation. We also introduce Oaxaca-Blinder decomposition on Difference-in-Differences (DiD) estimates in order to assess if variation of traditional determinants of test scores for mathematics, verbal and science explain the result estimates. These results are robust to alternative specifications of DiD, a synthetic control approach and an alternative measure of distance

Analysis of the presence of sustainability in Higher Education Degrees of the Spanish university system

This paper analyzes the extent to which sustainability is present in the curricula of the 16 Education Degree programs belonging to the EDINSOST project: 6 Early Childhood Education Degrees, 7 Primary Education Degrees, 2 Pedagogy Degrees and 1 Social Education Degree. The results obtained suggest that sustainability is present in all Degrees, but not uniformly so. A great disparity is observed in the number of subjects that develop sustainability, with an average of 22.63 subjects per Degree. The competency most present is the ‘ Application of ethical principles related to the values of sustainability in personal and professional behaviors, ’ while the least present is ‘ Sustainable use of resources and prevention of negative impacts on the natural and social environment. ’Sustainability is not developed uniformly in the different universities either. Three universities (UAM, UCA and UIC) develop sustainability competencies at 100%, while others such as the USAL do so at only 50

Revisión de Lenguajes Declarativos para la Descripción de Interfaces de Usuario Independientes del Dispositivo

En este artículo se presenta una revisión de los principales lenguajes basados en XML para la descripción de interfaces de usuario independientes del dispositivo, realizando una comparativa entre ellos y destacando su relación con el proceso de modelado de interfaces de usuario basado en modelos declarativos y sus fases o niveles de abstracción

Proposal of a stochastic model to determine the bibliometric variables influencing the quality of a journal: application to the field of Dentistry

On the basis of the Impact Factor of Journal Citation Reports developed by ISI as a journal quality indicator, this paper puts forth an ordinal regression model to estimate the journal’s position by terciles. The set of explanatory variables includes the H-index of its Editor-in-chief, percentage of papers published in the journal that received external funding, average number of papers published yearly, and two factors concerning the scope and structure of the journal. The proposed model was applied to the field of Dentistry, Oral Surgery and Medicine, and led us to the conclusion that the above mentioned covariables alone had a significant input in the model, but not the factors. The essay performed on a sample of 30 Dentistry journals included in JCR provided a confirmatory correct classification rate (CCR) of 80%, with a predictive CCR of 75% on a sample of eight new journals not previously considered in the phase of model estimation.Proyect MTM2017-88708-P of f Secretaría de Estado de Investigación, Desarrollo e Innovación, Ministerio de Economía y Competitividad de Españ

Arquitectura como disposición: Una aproximación al proyecto de arquitectura en la trastienda europea del cambio de siglo

No muchas palabras contienen una aptitud y actitud, un modo de hacer y las implicaciones que de ello se derivan. Disposición es tanto la acción como el efecto de disponer. Ante la encrucijada que con anterioridad plantearan R. Venturi (1966) y M. Tafuri (1977) para la arquitectura, tras el colapso del proyecto moderno y re-enunciación crítica de sus preceptos - Jenks (1978), Habermas (1980), Jameson (1983)-, la arquitectura como disposición plantea una lectura crítica y diferencial de la disciplina y propone la configuración de ésta como práctica que aúna teoría y proyecto. Este modo de plantear la profesión conlleva asumir también, entre otras cuestiones, la tarea de redefinir el contrato natural (Serres, 1990) o el encargo (Sloterdijk, 1999) en que se fundamentaba. Mientras la arquitectura se resitúa transversalmente junto a otras disciplinas - ecología política, antropología, prácticas culturales y técnicas ambientales - esta investigación estudia el proyecto de arquitectura como herramienta de proyección contemporánea de una idea de lo urbano, lo cultural y de una idea de sujeto, que han sido escasamente tipificadas en este periodo. Recorre prácticas artísticas y arquitectónicas donde reconocer dichas herramientas de proyección, propone una actualización y reflexión de los conceptos de de recinto, pauta y materia, que se despliegan como de lógicas de proyecto no prescriptivas sino dispuestas. Pensar arquitectura como disposición permite entenderla participando de los dos extremos: como enunciado o modo de estar con sentido en una época, y como traslación de este sentido al proyecto y la obra de arquitectura

On the characteristic functional of a doubly stochastic Poisson process: Application to a narrow-band process

The characteristic functional (c.fl.) of a doubly stochastic Poisson process (DSPP) is studied and it provides us the finite dimensional distributions of the process and so its moments. It is also studied the case of a DSPP which intensity is a narrow-band process. The Karhunen–Loève expansion of its intensity is used to obtain the probability distribution function and a decomposition of this Poisson process. The covariance derived from the general c.fl. is applied in this particular DSPP.Project MTM2004-05992 of Dirección General de Investigación, Ministerio de Ciencia y Tecnologıí

Generation of test cases from functional requirements. A survey

One of the major quality criteria of a software system is how well it fulfils the needs of users or customers. One technique to verify and improve the grade of fulfilment is system testing. System test cases might be derived from the requirements of the system under test. This paper presents the results of a survey among 13 approaches to drive the generation of test cases from functional requirements

Testing web applications in practice

Software testing process is gaining importance at same time that size and complexity of software are growing. The specifics characteristics of web applications, like client-server architecture, heterogeneous languages and technologies or massive concurrent access, makes hard adapting classic software testing practices and strategies to web applications. This work exposes an overview of testing processes and techniques applied to web development. This work also describes a practical example testing a simple web application using only open-source tools