Autor: Arrieta, Aitor
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Arrieta
Nombre de pila
Aitor
Nombre
Nombres alternativos
Afiliaciones conocidas
Mondragon Unibertsitatea, Spain
Mondragon Goi Eskola Politeknikoa, Spain
Mondragon Goi Eskola Politeknikoa
Universidad de Mondragón, Spain
Mondragon University, Gipuzkoa, Spain, Spain
Mondragon Goi Eskola Politeknikoa, Spain
Mondragon Goi Eskola Politeknikoa
Universidad de Mondragón, Spain
Mondragon University, Gipuzkoa, Spain, Spain
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor
7 resultados
Resultados de la búsqueda
Mostrando 1 - 7 de 7
Artículo A general approach to Software Product Line testingRuiz, Elvira G.; Ayerdi, Jon; Galindo, José A.; Arrieta, Aitor; Sagardui, Goiuria; Benavides, David. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.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.Artículo Generating Test Systems in Simulink Models for Testing Product Lines with ASTERYSCOArrieta, Aitor; Etxeberria, Leire; Zander, Justyna. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.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.Artículo Alineamiento de trazas de Gemelos. El Caso de Estudio de un AscensorMuñoz, Paula; Arrieta, Aitor; Vallecillo, Antonio. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.Un problema a la hora de desarrollar un gemelo digital es comprobar que su comportamiento es fiel al del sistema físico que replica. Este trabajo establece medidas de fidelidad usando un algoritmo de alineamiento de trazas y las aplica al caso de estudio de un ascensor.Artículo Entorno de Validación Configurable para Software Embebido Refactorizado y su Aplicación en AscensoresSagardui, Goiuria; Etxeberria, Leire; Agirre, Joseba Andoni; Arrieta, Aitor; Nicolas, Carlos F.; Martin, Jose Maria. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Los ascensores son sistemas complejos que integran además de software, componentes eléctricos, mecánicos, etc. La complejidad de estos sistemas es aumentada además al tener en cuenta la variabilidad: un ascensor puede ser instalado en edificios de más o menos pisos, puede tener diferente puertas, los actuadores y sensores pueden variar, etc. La validación del software de estos sistemas es compleja en diferentes aspectos. Este artículo presenta un trabajo industrial para la validación de software embebido congurable refactorizado en el contexto del sector del transporte vertical.Artículo Modeling Systems Variability with Delta RhapsodyPerez, Xabier; Berreteaga, Oskar; Etxeberria, Leire; Arrieta, Aitor; Markiegi, Urtzi. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.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.Artículo Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering PerspectiveArrieta, Aitor; Markiegi, Urtzi; Etxeberria, Leire. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.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.Artículo Toward Trustworthy AI-Enabled Internet SearchRomero-Arjona, Miguel; Segura, Sergio; Arrieta, Aitor. Actas de las XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024), 2024-06-17.Artificial Intelligence (AI), particularly Large Language Models (LLMs), are called to reshape how we search information on the Internet. AI regulation initiatives (e.g., EU AI Act) are rapidly emerging to ensure that AI products are trustworthy and safe. However, ensuring the regulatory compliance of an AI system currently relies on manual checklists, making the process tedious, time-consuming, and hardly scalable. In this work-in-progress paper, we outline our vision for developing a tool ecosystem aimed at automatically testing AI-driven search engines in accordance with EU trustworthiness compliance requirements. Specifically, we present some of the key quality characteristics to target, a brief summary of the state-of-the-art LLM testing, and the key features of the envisioned tool ecosystem.