Search
Now showing items 1-10 of 16
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 ...
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins
(Springer Nature Switzerland AG, 2020)
Nowadays product manufacturing must respond to mass customisation of products in order to meet the global market needs. This requires an agile and dynamic production process to be competitive in the market. Consequently, ...
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 ...
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 ...
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
(IEEE, 2022)
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 ...
Automating Test Oracle Generation in DevOps for Industrial Elevators
(IEEE, 2022)
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 ...
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 ...