160 research outputs found
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
- …