Artículo
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
Autor/es | Ayerdi, Jon
Valle, Pablo Segura Rueda, Sergio Arrieta, Aitor Sagardui, Goiuria Arratibel, Maite |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2022 |
Fecha de depósito | 2022-11-07 |
Publicado en |
|
Resumen | 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 un certainty in their interactions with the ... 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 un certainty 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 as sessed 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. |
Agencias financiadoras | European Union (UE). H2020 Junta de Andalucía Ministerio de Ciencia e Innovación (MICIN). España Mondragon Unibertsitatea |
Identificador del proyecto | European Union's Horizon 2020 (Grant Number: 871319)
US-1264651 (APOLO) P18-FR-2895 (EKIPMENT-PLUS) RTI2018-101204-B-C21 (HORATIO) IT1519-22 |
Cita | Ayerdi, J., Valle, P., Segura Rueda, S., Arrieta, A., Sagardui, G. y Arratibel, M. (2022). Performance-Driven Metamorphic Testing of Cyber-Physical Systems. IEEE Transactions on Reliability, August 2022, 1-19. https://doi.org/10.1109/TR.2022.3193070. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Performance-Driven_Metamorphic ... | 1.166Mb | [PDF] | Ver/ | |