2026-04-07T10:03:19Zhttps://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

Sagardui, Goiuria Etxeberria, Leire Agirre, Joseba Andoni Arrieta, Aitor 2022-10-31T13:01:18Z 2022-10-31T13:01:18Z 2017 9781538623879 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=128450 https://hdl.handle.net/20.500.11984/5791 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. eng © 2017 IEEE 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