Registro sencillo

dc.contributor.authorAyerdi, Jon
dc.contributor.authorArrieta, Aitor
dc.contributor.authorSagardui, Goiuria
dc.contributor.otherValle Entrena, Pablo
dc.contributor.otherSegura, Sergio
dc.contributor.otherArratibel, Maite
dc.date.accessioned2022-11-10T11:03:11Z
dc.date.available2022-11-10T11:03:11Z
dc.date.issued2022
dc.identifier.issn1558-1721en
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=168137en
dc.identifier.urihttps://hdl.handle.net/20.500.11984/5824
dc.description.abstractCyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the uncertainty 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 assessed 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.en
dc.description.sponsorshipComisión Europeaes
dc.description.sponsorshipGobierno de Españaes
dc.description.sponsorshipGobierno de Andaluciaes
dc.description.sponsorshipGobierno Vasco-Eusko Jaurlaritzaes
dc.language.isoengen
dc.publisherIEEEen
dc.rights© 2022 IEEEen
dc.subjectElevatorsen
dc.subjecttestingen
dc.subjectMaterials requirements planningen
dc.subjectControl systemsen
dc.subjectComputer bugsen
dc.subjectMeteorologyen
dc.subjectMathematical modelsen
dc.titlePerformance-Driven Metamorphic Testing of Cyber-Physical Systemsen
dcterms.accessRightshttp://purl.org/coar/access_right/c_f1cfen
dcterms.sourceIEEE Transactions on Reliabilityen
local.contributor.groupIngeniería del software y sistemases
local.description.peerreviewedtrueen
local.identifier.doihttps://dx.doi.org/10.1109/TR.2022.3193070en
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.projectIDinfo:eu-repo/grantAgreement/GE//RTI2018-101204-B-C21/ES/Improvements in the reliability, customization and operating costs of software services regulated by user agreements/HORATIOen
local.relation.projectID.en
local.relation.projectID.en
local.relation.projectIDinfo:eu-repo/grantAgreement/GV/Ikertalde Convocatoria 2022-2023/IT1519-22/CAPV/Ingeniería de Software y Sistemas/en
local.embargo.enddate2024-08-31
local.contributor.otherinstitutionhttps://ror.org/03yxnpp24es
local.contributor.otherinstitutionOrona S.Coop.es
local.source.detailsIEEE. August, 2022en
oaire.format.mimetypeapplication/pdf
oaire.file$DSPACE\assetstore
oaire.resourceTypehttp://purl.org/coar/resource_type/c_6501en
oaire.versionhttp://purl.org/coar/version/c_ab4af688f83e57aaen


Ficheros en el ítem

Thumbnail
Thumbnail

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

Registro sencillo