2026-04-07T11:47:16Zhttps://ebiltegia.mondragon.edu/oai/request

oai:ebiltegia.mondragon.edu:20.500.11984/57912026-04-01T07:41:04Zcom_20.500.11984_1143col_20.500.11984_1148

00925njm 22002777a 4500 dc Sagardui, Goiuria author Etxeberria, Leire author Agirre, Joseba Andoni author Arrieta, Aitor author 2017 As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is large, and requires automated testing solutions. In this paper we propose a methodology that automatically generates validation environments for highly configurable embedded software that is being refactored. The method has allowed for systematically testing a real-world industrial case study involving the software in charge of controlling the doors of an elevator. Finally, we extract the lessons learned from its application. 9781538623879 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=128450 https://hdl.handle.net/20.500.11984/5791 testing Elevators Embedded software Software packages Embedded systems Mathematical model A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain