2026-04-07T21:49:27Zhttps://ebiltegia.mondragon.edu/oai/request

oai:ebiltegia.mondragon.edu:20.500.11984/18492024-03-04T10:28:01Zcom_20.500.11984_1143col_20.500.11984_1148

00925njm 22002777a 4500 dc Ayerdi, Jon author Arrieta, Aitor author Sagardui, Goiuria author 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 tasks in this context are costly, since they rely on the manual intervention of domain experts at some points of the process. This is mainly due to the difficulty to assess whether the elevators behave as expected in the different test scenarios, the so-called test oracle problem. Metamorphic testing is a thriving testing technique that alleviates the oracle problem by reasoning on the relations among multiple executions of the system under test, the so-called metamorphic relations. In this practical experience paper, we report on the application of metamorphic testing to verify an industrial elevator dispatcher. Together with domain experts from the elevation sector, we defined multiple metamorphic relations that consider domain-specific quality of service measures. Evaluation results with seeded faults show that the approach is effective at detecting faults automatically. https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=159688 https://hdl.handle.net/20.500.11984/1849 Cyber Physical Systems CPS Elevators Metamorphic Testing Quality of Service QoS-aware Metamorphic Testing: An Elevation Case Study