Registro sencillo

dc.contributor.authorAyerdi, Jon
dc.contributor.authorArrieta, Aitor
dc.contributor.authorSagardui, Goiuria
dc.contributor.otherArratibel, Maite
dc.contributor.otherSegura, Sergio
dc.date.accessioned2020-10-08T11:14:07Z
dc.date.available2020-10-08T11:14:07Z
dc.date.issued2020
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=159688en
dc.identifier.urihttps://hdl.handle.net/20.500.11984/1849
dc.description.abstractElevators 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.en
dc.description.sponsorshipUnión Europeaes
dc.description.sponsorshipGobierno Vascoes
dc.language.isoengen
dc.publisherIEEEen
dc.rights© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.en
dc.subjectCyber Physical Systems CPSen
dc.subjectElevatorsen
dc.subjectMetamorphic Testingen
dc.subjectQuality of Serviceen
dc.titleQoS-aware Metamorphic Testing: An Elevation Case Studyen
dcterms.accessRightshttp://purl.org/coar/access_right/c_abf2en
local.contributor.groupIngeniería del software y sistemases
local.description.peerreviewedtrueen
local.relation.projectIDinfo:eu-repo/grantAgreement/EC/H2020/871319/EU/Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems/ADEPTNESSen
local.relation.projectIDGV/Ikertalde Convocatoria 2019-2021/IT1326-19/CAPV/Ingeniería de Software y Sistemasen
local.contributor.otherinstitutionhttps://ror.org/03yxnpp24es
local.contributor.otherinstitutionOrona S.Coop.es
local.source.details31st International Symposium on Software Reliability Engineering (ISSRE 2020)en
oaire.format.mimetypeapplication/pdf
oaire.file$DSPACE\assetstore
oaire.resourceTypehttp://purl.org/coar/resource_type/c_c94fen


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(es)

Registro sencillo