Now showing items 1-4 of 4
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 ...
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 ...
Evolutionary generation of metamorphic relations for cyber-physical systems
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 ...
Some Seeds are Strong : Seeding Strategies for Search-based Test Case Selection
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 ...