Now showing items 1-5 of 5
QoS-aware Metamorphic Testing: An Elevation Case Study
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 ...
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
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 ...
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
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 ...
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
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 ...
Automating Test Oracle Generation in DevOps for Industrial Elevators
Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements changes, vulnerabilities, and bug corrections. Such continuous ...