Listar por autor "ac8d4a3b8ad10651321bbc1ea4bee4f8"
Mostrando ítems 1-12 de 12
-
Ball-on-flat linear reciprocating tests: Critical assessment of wear volume determination methods and suggested improvements for ASTM D7755 standard
Ayerdi, Jon; Aginagalde, Andrea; Llavori, Inigo; Zabala, Alaitz (Elsevier B.V., 2021)This work presents a critical assessment of wear volume determination methods for ball-on-flat linear reciprocating sliding tribological tests. It revealed that the ASTM D7755-11 standard leads to the highest relative ... -
Evolutionary generation of metamorphic relations for cyber-physical systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (ACM, 2022)A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ... -
A general approach to Software Product Line testing
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (Sistedes: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2019)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 ... -
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (ACM, 2021)One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ... -
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Ayerdi, Jon; Arrieta, Aitor (IEEE, 2024)Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying properties that hold among multiple test ... -
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)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, ... -
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
Ayerdi, Jon; Arrieta, Aitor (IEEE, 2022)Metamorphic testing is a technique that has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of a system. However, this approach ... -
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2022)Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the uncertainty in their interactions with the ... -
QoS-aware Metamorphic Testing: An Elevation Case Study
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2020)Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ... -
Simulation-based Metamorphic Testing of Cyber-Physical Systems
Ayerdi, Jon (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2022)Cyber-Physical Systems (CPSs) are heterogeneous systems in which software components and physical processes interact with each other. These systems have strict requirements that are difficult to verify, resulting in very ... -
Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2020)Software systems that are embedded in autonomous Cyber-Physical Systems (CPSs) usually have a large life-cycle, both during its development and in maintenance. This software evolves during its life-cycle in order to ... -
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
Arrieta, Aitor; Ayerdi, Jon; Illarramendi, Miren; Sagardui, Goiuria (IEEE, 2021)The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
