Presentation
QoS-aware Metamorphic Testing: An Elevation Case Study
Author/s | Ayerdi, Jon
Segura Rueda, Sergio Arrieta, Aitor Sagardui, Goiuria Arratibel, Maite |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2020 |
Deposit Date | 2022-11-07 |
Published in |
|
ISBN/ISSN | 978-1-7281-9870-5 2332-6549 |
Abstract | 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 ... 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 |
Funding agencies | European Union (UE). H2020 Mondragon Unibertsitatea Junta de Andalucía Ministerio de Ciencia, Innovación y Universidades (MICINN). España |
Project ID. | EU H2020 project No 871319
IT1326-19 US-1264651 (APOLO) RTI2018-101204-B-C21 (HORATIO) P18-FR-2895 (EKIPMENT-PLUS) |
Citation | Ayerdi, J., Segura Rueda, S., Arrieta, A., Sagardui, G. y Arratibel, M. (2020). QoS-aware Metamorphic Testing: An Elevation Case Study. En ISSRE 2020: IEEE 31st International Symposium on Software Reliability Engineering (104-114), Coimbra, Portugal: IEEE Computer Society. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Qos-aware metamorphic testing ... | 409.0Kb | [PDF] | View/ | |