![Thumbnail](/bitstream/handle/20.500.11984/5824/Performance-Driven%20Metamorphic%20Testing%20of%20Cyber-Physical%20Systems.PDF.jpg?sequence=5&isAllowed=y)
Title
Performance-Driven Metamorphic Testing of Cyber-Physical Systemsxmlui.dri2xhtml.METS-1.0.item-contributorOtherinstitution
https://ror.org/03yxnpp24Orona S.Coop.
Version
http://purl.org/coar/version/c_ab4af688f83e57aa
Rights
© 2022 IEEEAccess
http://purl.org/coar/access_right/c_f1cfPublisher’s version
https://dx.doi.org/10.1109/TR.2022.3193070Published at
IEEE Transactions on Reliability IEEE. August, 2022Publisher
IEEEKeywords
Elevators
testing
Materials requirements planning
Control systems ... [+]
testing
Materials requirements planning
Control systems ... [+]
Elevators
testing
Materials requirements planning
Control systems
Computer bugs
Meteorology
Mathematical models [-]
testing
Materials requirements planning
Control systems
Computer bugs
Meteorology
Mathematical models [-]
Abstract
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 uncertainty in their inte ... [+]
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 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. [-]
xmlui.dri2xhtml.METS-1.0.item-sponsorship
Comisión Europeaxmlui.dri2xhtml.METS-1.0.item-projectID
info:eu-repo/grantAgreement/EC/H2020/871319/EU/Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems/ADEPTNESSCollections
- Articles - Engineering [639]