Buscar
Mostrando ítems 1-10 de 24
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 ...
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 ...
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 ...
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
(IEEE, 2021)
The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
(IEEE, 2021)
Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ...
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa
(UEU, 2015)
Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ...
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
(IEEE, 2017)
As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ...
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
(IEEE, 2021)
Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ...
