2026-04-21T07:59:12Zhttps://ebiltegia.mondragon.edu/oai/request

oai:ebiltegia.mondragon.edu:20.500.11984/58242024-03-04T10:28:00Zcom_20.500.11984_473col_20.500.11984_478

00925njm 22002777a 4500 dc Ayerdi, Jon author Arrieta, Aitor author Sagardui, Goiuria author 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 physical world, makes the definition of effective test oracles especially challenging, facing the well-known test oracle problem. Metamorphic testing has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of the system, so-called metamorphic relations (MRs). In this article, we propose an MR pattern called PV for the identification of performance-driven MRs, and we show its applicability in two CPSs from different domains, which are automated navigation systems and elevator control systems. For the evaluation, we assessed the effectiveness of this approach for detecting failures in an open-source simulation-based autonomous navigation system, as well as in an industrial case study from the elevation domain. We derive concrete MRs based on the PV pattern for both case studies, and we evaluate their effectiveness with seeded faults. Results show that the approach is effective at detecting over 88% of the seeded faults, while keeping the ratio of FPs at 4% or lower. 1558-1721 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=168137 https://hdl.handle.net/20.500.11984/5824 Elevators testing Materials requirements planning Control systems Computer bugs Meteorology Mathematical models Performance-Driven Metamorphic Testing of Cyber-Physical Systems