Work

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

Year: 2023

Type: conference-paper

Abstract: Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as such, test cases are usually complex and long in time. This is mainly because realistic test scenarios are employed (e.g., for testing elevator dispatching algorithms, typically a full day of passengers traveling through a system of elevators is used). However, in such a context, when needing to reproduce a failure, it is of high benefit to provide the minimal test input to the software developers. This way, analyzing and trying to localize the root-cause of the failure is easier and more agile. Delta debugging has been found to be an efficient technique to reduce failure-inducing test inputs. In this paper, we enhance this technique by first monitoring the environment at which the CPS operates as well as its physical states. With the monitored information, we search for stable states of the CPS during the execution of the simulation. In a second step, we use such identified stable states to help the delta debugging algorithm isolate the failure-inducing test inputs more efficiently.

Source: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/3597926.3598117

Authors: Pablo Valle, Aitor Arrieta, Maite Arratibel

Institution: Mondragon Unibertsitatea

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Fundación BBVA, Eusko Jaurlaritza, Banco Bilbao Vizcaya Argentaria

Award: G8168624107