Now showing items 1-6 of 6
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 ...
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 ...
DC versus AC in residential buildings: efficiency comparison
DC energy solutions are gaining interest in recent years, due to improvements in power electronics. Some companies have developed solutions for the domestic implementation of DC power systems. This article analyzes the ...
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
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 ...