2026-04-07T17:04:08Zhttps://ebiltegia.mondragon.edu/oai/request

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

00925njm 22002777a 4500 dc Ayerdi, Jon author Arrieta, Aitor author Sagardui, Goiuria author 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 problem. Metamorphic testing alleviates the oracle problem by reasoning on the relations that are expected to hold among multiple executions of the system under test, which are known as Metamorphic Relations (MRs). However, the development of effective MRs is often challenging and requires the involvement of domain experts. In this paper, we present a case study aiming at automating this process. To this end,we implemented GAssertMRs, a tool to automatically generate MRs with genetic programming. We assess the cost-effectiveness of this tool in the context of an industrial case study from the elevation domain. Our experimental results show that in most cases GAssertMRs outperforms the other baselines, including manually generated MRs developed with the help of domain experts. We then describe the lessons learned from our experiments and we outline the future work for the adoption of this technique by industrial practitioners. 978-1-4503-8562-6 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=164631 https://hdl.handle.net/20.500.11984/5382 Cyber Physical Systems CPS Metamorphic Testing Quality of Service oracle generation oracle improvement evolutionary algorithm genetic programming mutation testing Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study