Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software

[Resumen]Las pruebas son una de las actividades clave en el desarrollo de software, puesto que ayudan a detectar defectos que, de otro modo, pasarían desapercibidos hasta que el software sea desplegado. Sin embargo, al contrario que en otras etapas del ciclo de vida del software, como son el análisis, el diseño o la implementación, para las que existen metodologías y técnicas bien definidas y ampliamente aceptadas en la comunidad informática, junto con herramientas que permiten llevar a cabo dichas tareas, no hay una uniformidad sobre las metodologías, técnicas o herramientas a utilizar para llevar a cabo las pruebas del software de una manera eficiente y eficaz. Este hecho provoca que, muchas veces, éstas sean omitidas o no realizadas con todo el rigor necesario. Esta tesis presenta una aproximación, basada en propiedades y puramente funcional, para la realización de las pruebas del software, que intenta paliar estos problemas. Para ello, se definen metodologías y técnicas de pruebas, integradas en el proceso de desarrollo de software, que pueden ser aplicadas a los diferentes niveles de pruebas del software. Así, pueden utilizarse para llevar a cabo pruebas unitarias y de componente, en las que se comprueba que cada componente individual se comporta de la manera esperada, pruebas de integración, que comprueban las interacciones de los componentes que forman parte de un sistema, y pruebas de sistema, que se encargan de comprobar diferentes aspectos del sistema como un todo. Además, se utiliza un lenguaje de especificación de pruebas común en todas las aproximaciones desarrolladas, el lenguaje de programación funcional Erlang, y las metodologías se definen de manera independiente a la estructura del software concreto a probar o el lenguaje de programación en el que éste esté implementado. Por último, cabe destacar que el uso de estas metodologías y técnicas de pruebas se ilustra a través de un ejemplo industrial, en concreto, el sistema VoDKATV. Este sistema ofrece acceso a servicios multimedia (canales de televisión, videoclub, aplicaciones, juegos, entre otros) a través de diferentes tipos de dispositivos, como, por ejemplo, televisiones, ordenadores, tabletas o móviles. Con respecto a la arquitectura, el sistema VoDKATV está compuesto por múltiples componentes implementados con diferentes tecnologías (Java, Erlang, C, etc.) que se integran entre sí. La complejidad de este sistema permite ilustrar cada una de las metodologías y técnicas de pruebas desarrolladas con un ejemplo real

Positioning, Planning and Operation of Emergency Response Resources and Coordination between Jurisdictions

Railroad related rail incidents, particularly those involving hazardous material (hazmat), cause severe consequences and pose significant threats to safety, public health and the environment. Rail safety is a huge issue in Midwestern states such as Illinois, Wisconsin, and Minnesota. This project aims at strategically positioning and allocating emergency responders and resources in anticipation of potential accidents in a region that may be impacted by rail incidents. Mathematical models and solution techniques are developed to enable systematic analysis of the emergency response system associated with railroad incidents; e.g., to strategically position and allocate emergency responders and resources in anticipation of potential accidents along spatially distributed railroad networks. We consider the added complexity due to vulnerability of the emergency response system itself, such as the risk of disruptions to the transportation network for first-responders (e.g., blockage of railroad crossings). The outcomes from these tasks will provide fundamental understanding, operational guidelines, and practical tools to policy makers (e.g., federal and state agencies) to induce socio-economically favorable system that support safe and efficient railroad industry operations

Algoritmos de Optimización sobre Unidades de Proceso Gráfico

En la actualidad, han emergido nuevas plataformas de cómputo paralelo tales como las Unidades de Procesamiento Gráfico (GPUs, por sus siglas en inglés). Las GPUs están especialmente diseñadas para proporcionar un entorno donde es posible explotar su modelo de paralelismo y desarrollar diferentes propuestas algorítmicas paralelas para este tipo de plataformas. En este sentido, las GPUs se han convertido en una alternativa interesante de cómputo a las tradicionales CPU dada su capacidad para realizar cálculos en paralelo y también diferenciadas de otras formas de usar múltiples procesadores, como los clusters de máquinas, entre otros. Esto ha permitido a una computadora de escritorio o portátil aumentar su capacidad de cómputo debido a las mejoras de las tarjetas a nivel hardware y software, lo que las convierte en una opción para realizar cómputo de alto rendimiento (HPC, por sus siglas en inglés). El desarrollo de estrategias metaheurísticas paralelas en GPU para la resolución de problemas complejos se presenta como una línea de investigación muy importante en la actualidad, ya que por una parte, las citadas estrategias (potencialmente no exactas) proporcionan una solución de alta calidad en un tiempo razonable, mientras que por otro, es bien sabido que tanto la eficiencia de dichos algoritmos metaheurísticos como los resultados que éstos obtienen mejoran de manera significativa cuando se aplican estrategias de paralelismo. El contenido de este trabajo se centra en evaluar técnicas metaheurísticas en arquitecturas GPU buscando la mejor técnica que se adapte a la GPU. De la misma forma, se busca diseñar y analizar nuevos modelos que puedan proveer: sencillez en la implementación y potencia computacional, equilibrio necesario entre la eficiencia y la eficacia suficiente para la supervivencia en diferentes problemas. Todo esto por varias razones: en primer lugar, las ventajas de estas nuevas tecnologías ofrece la posibilidad de cubrir la demanda de eficiencia tanto en tiempo real como numérica, lo cual nos lleva a la segunda razón. Las metaheurísticas son técnicas ampliamente aceptadas y utilizadas en diferentes áreas de aplicación. Cabe la posibilidad entonces de brindar al investigador una solución de cierta calidad en un breve periodo de tiempo: un compromiso entre calidad de la solución y la rapidez. Finalmente, muchas de las contribuciones que se materialicen pueden ser extensibles a otras técnicas metaheurísticas o ser usadas como base para otros modelos algorítmicos en futuros estudios posteriores a esta tesis. Esta tesis presenta un conjunto de consideraciones iniciales sobre los algoritmos Genéticos Celulares (cGAs). A continuación introducimos la adaptación de los principales procesos de un cGA a la GPU. Esto nos permitirá describir el alcance de la propuesta y exponer los beneficios y problemas que cabe esperar. Posteriormente, se muestra una aproximación cGA mediante una arquitectura de múltiples GPUs. Se indican las diferencias más importantes que se pueden encontrar con respecto a la primera implementación presentada. Posteriormente, se muestra un estudio sobre una aproximación original de búsqueda diseñada especialmente para funcionar sobre una plataforma GPU basada en las características de la Computación Sistólica. Luego, se provee una descripción de las diferentes mejoras a partir del modelo canónico. Inmediatamente, se discuten las ventajas e inconvenientes. La razón de este análisis es profundizar y conocer mejor el método de búsqueda. A partir del algoritmo anteriormente propuesto se presenta un nuevo modelo que utiliza la idea de paralelismo híbrido como concepto de inicio. Se discute el diseño de una técnica paralela híbrida la cual utiliza algoritmos capaces de sacar provecho de las cualidades intrínsecas de cada arquitectura (CPU y GPU). Se abordan detalles sobre la mejora de la búsqueda a través de la cooperación entre los algoritmos. Posteriormente, se analizan consideraciones importantes sobre la implementación. Todos los nuevos algoritmos propuestos en este trabajo son comparados con diferentes algoritmos canónicos y con aquellos pertenecientes al estado del arte para una plétora de problemas complejos de optimización que pertenecen a los campos de optimización combinatoria y continua. Las conclusiones alcanzadas en cuanto a aceleración y precisión en el análisis reflejan las elevadas prestaciones que las tarjetas gráficas programables ofrecen en el ámbito de la optimización metaheurística

Advances in Evolutionary Algorithms

With the recent trends towards massive data sets and significant computational power, combined with evolutionary algorithmic advances evolutionary computation is becoming much more relevant to practice. Aim of the book is to present recent improvements, innovative ideas and concepts in a part of a huge EA field

Designing a human-centred, mobile interface to support real-time flood forecasting and warning system

This thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University LondonThere is a demand for human-centred technology which improves the management of flood events. This thesis describes the development, design and evaluation of a mobile GIS-based hydrological model. The application provides hydrological forecasts and issues flood warnings. The thesis reports on the usability and practicality of the application. The application, a mobile-based hydrological modelling system, permits the integrated handling of real-time rainfall data from a wireless monitoring network. A spatially distributed GIS-based model integrates this incoming data, approximating real-time, to generate data on catchment hydrology and runoff. The data can be accessed from any android-based mobile computer or mobile phone. It may be further analysed online using several GIS and numerical functions. A human-centred approach to design was taken. Design guidelines for a user-centric application were developed and deployed in the first prototype. There was intensive consultation with potential users. Particular attention was paid to the ease of use of the mobile interface. Users’ needs and attitudes were relevant in the achievement of a highly functional but intuitive interface. The first prototype underwent intensive testing with users. After the initial testing of the first prototype an interactive approach was taken to development. This generated a high-fidelity prototype which was matched to the taxonomy from a user’s mental model. Users were interrogated under controlled laboratory conditions as they performed predefined tasks which were selected to generate data across all aspects of the system and to identify weaknesses. Subsequent to this work there was a major prototype re-design. User test data, identified issues and an improved mental taxonomy closer were used to further refine the application. Of particular note was new functionality which aligned with user expectations and enhanced the applications credibility. The final evaluation of the system was undertaken with diverse subjects. Overall, the subjects considered the system efficient and effective. Users said the system was easy to learn and integrate into their work. Task completion rates were satisfactory. The final interviews with users confirmed that the application was ready to proceed to the implementation phase

Mobile Ad-Hoc Networks

Being infrastructure-less and without central administration control, wireless ad-hoc networking is playing a more and more important role in extending the coverage of traditional wireless infrastructure (cellular networks, wireless LAN, etc). This book includes state-of the-art techniques and solutions for wireless ad-hoc networks. It focuses on the following topics in ad-hoc networks: vehicular ad-hoc networks, security and caching, TCP in ad-hoc networks and emerging applications. It is targeted to provide network engineers and researchers with design guidelines for large scale wireless ad hoc networks

IberSPEECH 2020: XI Jornadas en Tecnología del Habla and VII Iberian SLTech

IberSPEECH2020 is a two-day event, bringing together the best researchers and practitioners in speech and language technologies in Iberian languages to promote interaction and discussion. The organizing committee has planned a wide variety of scientific and social activities, including technical paper presentations, keynote lectures, presentation of projects, laboratories activities, recent PhD thesis, discussion panels, a round table, and awards to the best thesis and papers. The program of IberSPEECH2020 includes a total of 32 contributions that will be presented distributed among 5 oral sessions, a PhD session, and a projects session. To ensure the quality of all the contributions, each submitted paper was reviewed by three members of the scientific review committee. All the papers in the conference will be accessible through the International Speech Communication Association (ISCA) Online Archive. Paper selection was based on the scores and comments provided by the scientific review committee, which includes 73 researchers from different institutions (mainly from Spain and Portugal, but also from France, Germany, Brazil, Iran, Greece, Hungary, Czech Republic, Ucrania, Slovenia). Furthermore, it is confirmed to publish an extension of selected papers as a special issue of the Journal of Applied Sciences, “IberSPEECH 2020: Speech and Language Technologies for Iberian Languages”, published by MDPI with fully open access. In addition to regular paper sessions, the IberSPEECH2020 scientific program features the following activities: the ALBAYZIN evaluation challenge session.Red Española de Tecnologías del Habla. Universidad de Valladoli