Bilatu
23-tik 1-10 emaitza erakusten
Simulation-based testing of highly configurable cyber-physical systems: automation, optimization and debugging
(Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2017)
Sistema Ziber-Fisikoek sistema ziber digitalak sistema fisikoekin uztartzen dituzte. Sistema hauen aldakortasuna handitzen ari da erabiltzaileen hainbat behar betetzeko. Ondorioz, sistema ziber-fisikoa aldakorrak edota ...
Spectrum-based fault localization in software product lines
(Elsevier B. V., 2018)
Context:
Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of
products under test. Most of the research on this field focuses on making testing affordable by selecting ...
Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems
(IEEE, 2020)
Software systems that are embedded in autonomous Cyber-Physical Systems (CPSs) usually have a large life-cycle, both during its development and in maintenance. This software evolves during its life-cycle in order to ...
Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing
(ACM, 2020)
The time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for ...
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
(ACM, 2021)
One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ...
QoS-aware Metamorphic Testing: An Elevation Case Study
(IEEE, 2020)
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 ...
Some Seeds are Strong : Seeding Strategies for Search-based Test Case Selection
(ACM, 2022)
The time it takes software systems to be tested is usually long. Search-based test selection has been a widely investigated technique to optimize the testing process. In this paper, we propose a set of seeding strategies ...
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
(IEEE, 2022)
Metamorphic testing is a technique that has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of a system. However, this approach ...
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
(IEEE, 2022)
Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ...
Evolutionary generation of metamorphic relations for cyber-physical systems
(ACM, 2022)
A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ...