Mejoras al aprovechamiento de dispositivos multiconectados

En esta tesis abordamos la problemática de cómo aprovechar las múltiples interfaces de red disponibles en los dispositivos de usuario modernos, de forma que se puedan traspasar los flujos de datos a las interfaces más apropiadas en cada momento. Los principales problemas que hemos identificado y que hacen que sea difícil sacarle partido a los dispositivos de usuario con varias interfaces de red son: • Las dificultades que presentan algunos protocolos de transporte para sobrevivir a un cambio de la interfaz de red. • Las limitaciones de los sistemas operativos para facilitar la identificación de las interfaces más apropiadas para cada comunicación, en cada momento. En cuanto a los problemas técnicos que presentan los protocolos de comunicaciones, pensamos que SCTP puede solucionar muchos de ellos, principalmente porque está diseñado, desde su concepción, para dispositivos con varias interfaces de red (es decir, para dispositivos multiconectados). Sin embargo, el tiempo que tarda SCTP en detectar fallos de ruta por una interfaz y pasar a utilizar una de las alternativas es excesivamente largo para algunas aplicaciones. Por eso presentamos una modificación a SCTP que permite ajustar la duración de la detección del fallo de ruta a las necesidades de las aplicaciones, de forma que la velocidad con la que el protocolo reacciona ante fallos de ruta deje de ser un problema. Esto mejora las prestaciones de SCTP como solución de transporte en dispositivos multiconectados. Nuestra propuesta se basa en el envío de sondas activas a las rutas sospechosas de sufrir un fallo y abre la posibilidad de utilizar diferentes estrategias de planificación temporal de estas sondas. Hemos basado la elección de la planificación temporal de las sondas en un estudio matemático de las propiedades de las planificaciones temporales, en concreto, hemos elegido la planificación con el menor tiempo medio de detección de fallos de ruta temporales, porque diferenciar rápidamente entre fallos de ruta temporales y permanentes permite mejorar las prestaciones del protocolo, sobre todo en entornos inalámbricos. Pero los fallos de transmisión en la ruta no son el único criterio por el que se debería realizar un cambio de interfaz de las comunicaciones, existen otros, en su mayoría externos al propio protocolo que también se deberían considerar. Hemos recopilado una lista, que pensamos completa, de los posibles criterios de selección de interfaces de red, con el objeto de complementar a nuestras modificaciones de SCTP en la correcta elección de la interfaz. También hemos implementado un nuevo servicio del sistema operativo para publicar y consultar algunos de estos criterios, de forma que los demonios que recopilan información sobre estos criterios puedan desacoplarse de las aplicaciones que se benefician de estos datos, gracias a una interfaz estándar de comunicaciones entre ambos. Hemos puesto en práctica nuestras contribuciones en varios proyectos de investigación, lo que nos ha demostrado que se complementan adecuadamente y permiten diseñar soluciones viables para los escenarios típicos que se plantean actualmente para el mejor aprovechamiento de dispositivos multiconectados

Towards the Definition of Test Coverage Criteria for RESTful Web APIs

Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for software integration. As RESTful APIs gain momentum, so does the testing of them. However, there is a lack of mechanisms to assess the adequacy of testing approaches in this context, which makes it difficult to mea sure and compare the effectiveness of different testing techniques. In this work-in-progress paper, we take a step forward towards a framework for the assessment and comparison of testing approaches for RESTful Web APIs. To that end, we propose a preliminary catalogue of test coverage criteria. These criteria measure the adequacy of test suites based on the degree to which they exercise the different input and output elements of RESTful Web services. To the best of our knowledge, this is the first at tempt to measure the adequacy of testing approaches for RESTful Web APIs.Ministerio de Economía y Competitividad BELI (TIN2015-70560-R)Ministerio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21 (HORATIO)Ministerio de Educación, Cultura y Deporte FPU17/0407

RESTest: automated black-box testing of RESTful web APIs

Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated generation of test cases in this domain have shown great promise, but their applicability is limited as they mostly rely on random inputs, i.e., fuzzing. In this paper, we present RESTest, an open source black box testing framework for RESTful web APIs. Based on the API specification, RESTest supports the generation of test cases using different testing techniques such as fuzzing and constraint-based testing, among others. RESTest is developed as a framework and can be easily extended with new test case generators and test writers for different programming languages. We evaluate the tool in two scenarios: offline and online testing. In the former, we show how RESTest can efficiently generate realistic test cases (test inputs and test oracles) that uncover bugs in real-world APIs. In the latter, we show RESTest’s capabilities as a continuous testing and monitoring framework. Demo video: https://youtu.be/1f_tjdkaCKo.Junta de Andalucía APOLO (US-1264651)Junta de Andalucía EKIPMENT-PLUS (P18-FR-2895)Ministerio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21 (HORATIO)Ministerio de Educación, Cultura y Deporte FPU17/0407

Diseño de dispositivo de bajo consumo para la lectura de gases dentro de una galería

The project consists of the design of a measurement system, autonomous and low consumption to measure gases, temperature and humidity inside a gallery. The scope of the project has been directed to be able to know how the gases vary inside the galleries, to increase the security of employees and to reduce costs when opening the gallery. Firstly, it has been established as minimum goals fulfil with the client requirements and overcome them. Secondly, a component selection process has been carried out for the design of the device, making a study of the market and the needs of the device. Thirdly, a cyclical system has been chosen which consists of reading the measurements from the sensors, processing the data and adapting it to information of interest to the user and sending it to a removable memory card in easy to work files. Then, the device goes into power down mode until the new measurement. Finally, the device’s PCB has been designed and a way of encapsulating it has been proposed to ensure the protection of the measurement system

La conservación del galápago europeo (Emys orbicularis)

El galápago europeo (Emys orbicularis) se encuentra catalogado como “Casi amenazado” en la lista roja de especies amenazadas de la IUCN (Unión Internacional para la Conservación de la Naturaleza). En España, se encuentra incluida en el Atlas y Libro Rojo de los anfibios y reptiles, en la categoría de “en estado vulnerable” (Pleguezuelos, Márquez y Lizana, 2002). No obstante, ambas clasificaciones están pendientes de actualización debido a la constante regresión de sus poblaciones a nivel global (Tortoise & Freshwater Turtle Specialist Group, 2016). Los mayores peligros para la especie son la destrucción y fragmentación de su hábitat, junto con la introducción de especies exóticas invasoras (tanto de quelonios, como de peces e invertebrados) (Ayres et al., 2013). A la hora de abordar la conservación de una especie tan ampliamente distribuida como es el caso de Emys orbicularis, la colaboración entre todas las partes ha de ser total ya que implica medidas a nivel global. Un programa ambicioso para la conservación del galápago europeo (Emys orbicularis) debe incluir: un profundo conocimiento de la especie y su situación actual, cría en cautividad de la especie, soluciones a los problemas que han causado su regresión y posibles peligros potenciales del futuro, y una constante evaluación de la eficacia del programa. Varios programas realizados hasta la fecha han demostrado ser eficaces, como por ejemplo “LIFE Trachemys” (Valencia), “EMYS GREFA” (Madrid) y “LIFE Potamo Fauna” (Cataluña), y en este trabajo se plasmará como ejemplo el que se está llevando a cabo en la actualidad en la provincia de Zaragoza

Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset

Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined to form valid calls to the service, so-called inter-parameter dependencies. Current API design languages like the OpenAPI Specification (OAS) provide no support for their formal description, making it hardly possible to automatically discover and interact with services without human intervention. Researchers and practitioners are openly requesting support for modelling and validating inter-parameter dependencies in web APIs, but this is not possible unless we share a deep understanding of how these dependencies emerge in practice. Objective: We aim to provide evidence on how inter-parameter dependencies are used in real-world web APIs. This evidence will hopefully serve as a basis for future proposals for modelling and analysing inter-parameter dependencies and will open a new range of research possibilities in areas related to service-oriented computing. Method: The documentation of 2,557 operations from 40 real-world web APIs was reviewed and carefully analysed, and 633 inter-parameter dependencies were found and classified into seven different types. Results: A machine-readable dataset was generated. This dataset helps understand the dimension and recurrence of inter-parameter dependencies in web APIs, as well as their taxonomy.Ministerio de Ciencia e Innovación HORATIO (RTI2018-101204–B–C21)Junta de Andalucía APOLO (US-1264651)Junta de Andalucía EKIPMENTPLUS (P18–FR–2895)Ministerio de Educación y Formación Profesional FPU17/0407

Fama Framework

FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily integrated into a final product. FAMA FW is built following the SPL paradigm supporting different variability metamodels, reasoners or solvers, analysis questions and reasoner selectors, easing the production of customized VM analysis tools. FAMA FW is written in Java and distributed under LGPL License.CICYT TIN2006-0047

Selection and publication of network interface cards in multihomed pervasive computing devices

Proceedings of the 8th IEEE International Workshop on Middleware and system support for pervasive computing, march 21-25, 2011, Seattle, USAMany modern devices come with several, heterogeneous, network interface cards (NICs). However, simple operations like transferring data flows to the cheapest NIC or to one with enough Quality of Service (QoS) are awkward tasks on most Operating Systems. In this paper, we discuss the criteria to select the proper NIC for a given data flow. We also present a new Operating System service, called netqos, to publish data and figures of merit for these criteria. The main objective of netqos is providing relevant information to applications and middleware about NIC selection criteria, isolating them from the idiosyncrasies of the many QoS gathering tools and allowing to choose the proper NIC to fit their needs. We have built this new service as a synthetic file system for the Linux kernel. We describe our experiences in using it in a real-world scenario and the practical and inherent limitations of this approachProyecto CCG10-UC3M/TIC-4992 de la Comunidad Autónoma de Madrid y la Universidad Carlos III de Madri

ARTE: Automated Generation of Realistic Test Inputs for Web APIs

Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the API specification. However, this process is only partially automated since testers are usually obliged to manually set meaningful valid test inputs for each input parameter. In this article, we present ARTE, an approach for the automated extraction of realistic test data for web APIs from knowledge bases like DBpedia. Specifically, ARTE leverages the specification of the API parameters to automatically search for realistic test inputs using natural language processing, search-based, and knowledge extraction techniques. ARTE has been integrated into RESTest, an open-source testing framework for RESTful APIs, fully automating the test case generation process. Evaluation results on 140 operations from 48 real-world web APIs show that ARTE can efficiently generate realistic test inputs for 64.9% of the target parameters, outperforming the state-of-the-art approach SAIGEN (31.8%). More importantly, ARTE supported the generation of over twice as many valid API calls (57.3%) as random generation (20%) and SAIGEN (26%), leading to a higher failure detection capability and uncovering several real-world bugs. These results show the potential of ARTE for enhancing existing web API testing tools, achieving an unprecedented level of automationJunta de Andalucía APOLO (US-1264651)Junta de Andalucía EKIPMENT-PLUS (P18-FR-2895)Ministerio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21 (HORATIO)Ministerio de Ciencia, Innovación y Universidades RED2018-102472-

Analysis of location prediction performance of LZ algorithms using GSM Cell-based location data

Proceedings of the 5th International Symposium of Ubiquitous Computing and Ambient Intelligence (UCAMI 2011), December 5-8th, 2011, Riviera Maya, MexicoPredictions about users' next locations allow bringing forward their future context, thus having additional time to react. To make such predictions, algorithms capable of learning mobility patterns and estimating the next location are needed. This work is focused on making the predictions on mobile terminals, thus resource consumption being an important constraint. Among the predictors with low resource consumption, the family of LZ algorithms has been chosen to study their performance, analyzing the results drawn from processing location records of 95 users. The main contribution is to divide the algorithms into two phases, thus being possible to use the best combination to obtain better prediction accuracy or lower resource consumption.Proyecto CCG10-UC3M/TIC-4992 de la Comunidad Autónoma de Madrid y la Universidad Carlos III de Madri