Búsqueda avanzada

El autor Aitor Arrieta ha publicado 9 artículo(s):

1 - Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective

Mutation testing has been found to be an efficient technique in order to assess the quality of a test suite. The use of Simulink models is increasing in both industry and academia to model and simulate complex systems such as Cyber-Physical Systems (CPSs). An advantage of Simulink is its ease to integrate software and control algorithms with complex mathematical models that typically represent continuous dynamic behaviors. In addition to that, the increasing trend of industry in adopting product line engineering methods to efficiently support the variability that their products demand is resulting in configurable Simulink models. Consequently, many configurations can be employed to test the configurable system. Each of these configurations will have a set of mutants, which will be in accordance with the configuration characteristics (i.e., features). However, manually generating and configuring mutants for each of the configurations is a time-consuming and non-systematic process. To deal with this problem, we propose a methodology supported by a tool that automatically generates mutants for configurable Simulink models.

Autores: Aitor Arrieta / Urtzi Markiegi / Leire Etxeberria / 
Palabras Clave: Cyber-Physical Systems - Feature Modeling - MATLAB/Simulink - Mutation testing - Product Line Engineering

2 - Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms

El paper fue publicado en julio de 2016 en la conferencia GECCO (The Genetic and Evolutionary Computation Conference), que es un congreso de clase 2 del ranking SCIE de congresos relevantes. Hasta la fecha, según google scholar, ha recibido un total de dos citas. Cyber-Physical Systems (CPSs) can be found in many sectors (e.g., automotive and aerospace). These systems are usually configurable to give solutions based on different needs. The variability of these systems is large, which implies they can be set into millions of configurations. As a result, different testing processes are needed to efficiently test these systems: the appropriate configurations must be selected and relevant test cases for each configuration must be chosen as well as prioritized. Prioritizing the order in which the test cases are executed reduces the time for detecting faults in these kinds of systems. However, the test suite size is often large and exploring all the possible test case orders is infeasible. Search algorithms can help find optimal solutions from a large solution space. This paper presents an approach based on weight-based search algorithms for prioritizing the test cases for configurable CPSs. We empirically evaluate the performance of the following algorithms with two case studies: Weight-Based Genetic Algorithms, Random Weighted Genetic Algorithms, Greedy, Alternating Variable Method and Random Search (RS). Our results suggest that all the search algorithms outperform RS, which is taken as a baseline. Local search algorithms have shown better performance than global search algorithms.

Autores: Aitor Arrieta / Shuai Wang / Goiuria Sagardui / Leire Etxeberria / 
Palabras Clave: Configurable Cyber-Physical Systems - Search Algorithms - Test Case Prioritization - Testing

3 - Modeling Systems Variability with Delta Rhapsody

Variability modeling is demanded by industrial companies to support customization of their products. However, not all the software tools include variability modeling mechanisms. IBM Rhapsody is one of the leading environments for modeling complex industrial systems. In this paper we present Delta Rhapsody, a tool for modeling variability in IBM Rhapsody models employing the delta modeling paradigm.

Autores: Xabier Perez / Oskar Berreteaga / Leire Etxeberria / Aitor Arrieta / Urtzi Markiegi / 
Palabras Clave: Delta Modelling - Rhapsody - Variability

4 - Generating Test Systems in Simulink Models for Testing Product Lines with ASTERYSCO

Simulink models are commonly employed to simulate and test complex systems such as Cyber-Physical Systems (CPSs). These systems are becoming highly configurable, and techniques from the product line engineering context (e.g., feature models) are being acquired by industrial practitioners to model the variability. Having variability in these systems means that there might be several configurations to test. Selecting relevant configurations by considering feature models following combinatorial techniques has been widely investigated by the software engineering community. However, efficiently testing each configuration has attracted little attention, which is not that trivial. One important aspect when testing such systems is automation. This tool paper presents ASTERYSCO, which aims at automatically generating test system instances in Simulink for testing specific configurations of configurable CPSs.

Autores: Aitor Arrieta / Leire Etxeberria / Justyna Zander / 
Palabras Clave: Cyber-Physical Systems - Feature Modeling - MATLAB/Simulink - Product Line Engineering

5 - Entorno de Validación Configurable para Software Embebido Refactorizado y su Aplicación en Ascensores

Los ascensores son sistemas complejos que integran ademásde software, componentes eléctricos, mecánicos, etc. La complejidad deestos sistemas es aumentada además al tener en cuenta la variabilidad:un ascensor puede ser instalado en edificios de más o menos pisos, puedetener diferente puertas, los actuadores y sensores pueden variar, etc.La validación del software de estos sistemas es compleja en diferentesaspectos. Este artículo presenta un trabajo industrial para la validaciónde software embebido congurable refactorizado en el contexto del sectordel transporte vertical.

Autores: Goiuria Sagardui / Leire Etxeberria / Joseba Andoni Agirre / Aitor Arrieta / Carlos F. Nicolas / Jose Maria Martin / 
Palabras Clave: Ascensores - Test - Validación - Variabilidad

6 - Spectrum-based fault localization in software product lines

Artículo relevante publicado en 2018 en el ISTContext: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number ofproducts under test. Most of the research on this field focuses on making testing affordable by selecting arepresentative subset of products to be tested. However, once the tests are executed and some failures revealed,debugging is a cumbersome and time consuming task due to difficulty to localize and isolate the faulty featuresin the SPL.Objective: This paper presents a debugging approach for the localization of bugs in SPLs.Method: The proposed approach works in two steps. First, the features of the SPL are ranked according to theirsuspiciousness (i.e., likelihood of being faulty) using spectrum-based localization techniques. Then, a novel faultisolation approach is used to generate valid products of minimum size containing the most suspicious features,helping to isolate the cause of failures.Results: For the evaluation of our approach, we compared ten suspiciousness techniques on nine SPLs of differentsizes. The results reveal that three of the techniques (Tarantula, Kulcynski2 and Ample2) stand out over the rest,showing a stable performance with different types of faults and product suite sizes. By using these metrics, faultswere localized by examining between 0.1% and 14.4% of the feature sets.Conclusion: Our results show that the proposed approach is effective at locating bugs in SPLs, serving as a helpfulcomplement for the numerous approaches for testing SPLs.

Autores: Aitor Arrieta / Sergio Segura / Urtzi Markiegi / Goiuria Sagardui / Leire Etxeberria / 
Palabras Clave: Debugging - Feature Models - software product lines - Spectrum-based fault localization

7 - A general approach to Software Product Line testing

Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings several challenges when testing an SPL, which are mainly caused by the potentially huge amount of products that can be derived from an SPL. There exist different studies proposing methods for testing SPLs. Also there are secondary studies reviewing and mapping the literature of the existing proposals. Nevertheless, there is a lack of systematic guidelines for practitioners and researchers with the different steps required to perform a testing strategy of an SPL. In this paper, we present a first version of a tutorial that summarizes the existing proposals of the SPL testing area. To the best of our knowledge, there is no similar attempt in existing literature. Our goal is to discuss this tutorial with the community and enrich it to provide a more solid version of it in the future.

Autores: Elvira G. Ruiz / Jon Ayerdi / José A. Galindo / Aitor Arrieta / Goiuria Sagardui / David Benavides / 
Palabras Clave: software product lines - Software reusability - Software Testing

8 - Seeding strategies for multi-objective test case selection: an application on simulation-based testing

Esta contribución es una publicación relevante del paper +AGAAYA-Seeding strategies for multi-objective test case selection: an application on simulation-based testing», publicado en la conferencia GECCO 2020. Los autores de la publicación son Aitor Arrieta, Joseba Andoni Agirre y Goiuria Sagardui. El artículo presenta una serie de estrategias de cara a generar la pobalación inicial de algoritmos multi-objetivo para resolver el problema de la selección de casos de prueba. Aunque las estrategias propuestas son agnósticos de dominio y de algoritmo multi-objetivo, se integran en un test bench open-source que trata de seleccionar testeos de modelos de simulación y con el algoritmo NSGA-II. Una evaluación empírica con seis casos de estudio demuestran que las técnicas son efectivas.El congreso donde se ha publicado el paper es The Genetic and Evolutionary Computation Conference (GECCO) 2020, avalada por el ranking SCIE como conferencia de clase 2. Por otra parte, el paper fue seleccionado como mejor paper del track SBSE y nominado a mejor paper de la conferencia.

Autores: Aitor Arrieta / Joseba Andoni Agirre / Goiuria Sagardui / 
Palabras Clave: Regression Testing - Search-based Software Testing - Test Case Selection

9 - Extended abstract of +ACI-Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems+ACI-

Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, bug fixes, and deal with hardware obsolescence. To date, the development of software for CPSs is fragmented, which makes it extremely expensive. This could be substantially enhanced by tightly connecting the development and operation phases, as is done in other software engineering domains (e.g., web engineering through DevOps). Nevertheless, there are still complex issues that make it difficult to use DevOps techniques in the CPS domain, such as those related to hardware-software co-design. To pave the way towards DevOps in the CPS domain, in this paper we instantiate part of the reference architecture presented in the H2020 Adeptness project, which is based on microservices that allow for the continuous deployment, monitoring and validation of CPSs. To this end, we elaborate a systematic methodology that considers as input both domain expertise and a previously defined taxonomy for DevOps in the CPS domain. We obtain a generic microservice template that can be used in any kind of CPS. In addition, we instantiate this architecture in the context of an industrial case study from the elevation domain.

Autores: Aitor Gartziandia / Jon Ayerdi / Aitor Arrieta / Shaukat Ali / Tao Yue / Aitor Agirre / Goiuria Sagardui / Maite Arratibel / 
Palabras Clave: Cyber-Physical Systems - DevOps - microservices