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

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...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org
Main Authors: Valle, Pablo, Arrieta, Aitor, Arratibel, Maite
Format: Paper
Language:English
Published: Ithaca Cornell University Library, arXiv.org 03.07.2023
Subjects:
Algorithms
Cyber-physical systems
Debugging
Elevators & escalators
Empirical analysis
Failure analysis
Software development
ISSN:2331-8422
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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. We report our experience of applying our approach into an industrial elevator dispatching algorithm. An empirical evaluation carried out with real operational data from a real installation of elevators suggests that the proposed environment-wise delta debugging algorithm is between 1.3 to 1.8 times faster than the traditional delta debugging, while producing a larger reduction in the failure-inducing test inputs. The results provided by the different implemented delta debugging algorithm versions are qualitatively assessed with domain experts. This assessment provides new insights and lessons learned, such as, potential applications of the delta debugging algorithm beyond debugging.
AbstractList 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. We report our experience of applying our approach into an industrial elevator dispatching algorithm. An empirical evaluation carried out with real operational data from a real installation of elevators suggests that the proposed environment-wise delta debugging algorithm is between 1.3 to 1.8 times faster than the traditional delta debugging, while producing a larger reduction in the failure-inducing test inputs. The results provided by the different implemented delta debugging algorithm versions are qualitatively assessed with domain experts. This assessment provides new insights and lessons learned, such as, potential applications of the delta debugging algorithm beyond debugging.
Author Arratibel, Maite
Valle, Pablo
Arrieta, Aitor
Author_xml – sequence: 1
  givenname: Pablo
  surname: Valle
  fullname: Valle, Pablo
– sequence: 2
  givenname: Aitor
  surname: Arrieta
  fullname: Arrieta, Aitor
– sequence: 3
  givenname: Maite
  surname: Arratibel
  fullname: Arratibel, Maite
BookMark eNpVTbtOwzAUtRBIlNIPYLPEAkOKc-2buGPVhodUCYbuletcpynBCYlTtX9PKlhYzktH59ywS197YuwuFlOlEcWTaY_lYQpS4DROtZAXbARSxpFWANds0nV7IQQkKSDKEfucN011Kn3Bjc95dgzk87MLO-JLqoIZcNsXxTmbV0XdlmH3xV3d8qyigwmDWJZdY4Ld_at0_CE7NtSW5C3xDzPIx1t25UzV0eSPx2z9nK0Xr9Hq_eVtMV9FBkFEbkuxsokCTWicwZnA2NlE52TRpWilAkwU2jQHpFRo5zSCswR5kpCUQo7Z_e9s09bfPXVhs6_71g-PG9AgNKgZCvkDcO1cGg
ContentType Paper
Copyright 2023. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2023. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.2305.17803
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest SciTech Premium Collection Technology Collection Materials Science & Engineering Database
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Central Premium
ProQuest One Academic
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a520-fbe14c6428e5afa59051fc68dec5f75c3425645c7d25e708ff852fce2d66e3303
IEDL.DBID BENPR
IngestDate Mon Jun 30 09:16:16 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a520-fbe14c6428e5afa59051fc68dec5f75c3425645c7d25e708ff852fce2d66e3303
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2820824950?pq-origsite=%requestingapplication%
PQID 2820824950
PQPubID 2050157
ParticipantIDs proquest_journals_2820824950
PublicationCentury 2000
PublicationDate 20230703
PublicationDateYYYYMMDD 2023-07-03
PublicationDate_xml – month: 07
  year: 2023
  text: 20230703
  day: 03
PublicationDecade 2020
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2023
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.8365769
SecondaryResourceType preprint
Snippet 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...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Algorithms
Cyber-physical systems
Debugging
Elevators & escalators
Empirical analysis
Failure analysis
Software development
Title Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
URI https://www.proquest.com/docview/2820824950
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1NT8IwGG4UNPHkd_xA0oMHPUzG1nbjZFRGNFGyKAc8ka4fSMSB2yD-fN-WIfHixcuSZku3dOnb53n69H0ROg8UJ5L62vEJUw4BCuGEnC1ksTAhTUKlTeL6GHS7Yb_fikvBLS9tlcuYaAO1nAijkTeAGsBqBXDevZ5-OqZqlNldLUtorKOqyVRGKqh6G3Xj5x-VxWMBYGZ_sZ1pk3c1ePY1mhv_M71qBqEtlvU7CNuVpbP932_aQdWYT1W2i9ZUuoc2raNT5Pvo3eBLc4YJ81TiyGrdpgWAD7fVuOBwTWZGbx7im_EQui3ePjBAWByN1dxQcdweQbgprNly9UiOL1bpkbF99-UB6nWi3t29U1ZWcDgFuqgT1STCMA9FuebU5OjSgoVSCaoDKnyYyIxQEUiPqsANtQ6pp4XyJGPKh0XvEFXSSaqOEKYtSaEzAHLcJy7nXAk3aSVA4phuUuUeo9py6Abl7MgHq3E7-fv2Kdoy5d2tPdavoUqRzdQZ2hDzYpRn9fJn141f8wVa8cNT_PoNpay37Q
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V07T8MwED5BAcHEW7zxABIMgTSxk3RACNGiVi1Vhw4wVY5zhooSoAkFfhT_kbPbUrGwMbBEimI5utzl_N3n8x3AQYiSJ8LXjs8DdDiFEE4kgyEtFsW8yEVii7g2wmYzurkptabgc3wWxqRVjn2iddTJkzIc-SmFBrRaEZx3z59fHNM1yuyujltoDM2ijh9vFLJlZ7Uy6ffQ864q7cuqM-oq4EhBoZKOsciVQd0opJbC1KfSKogSVEKHQvlkxAEXKkw8gaEbaR0JTyv0kiBACv59mnYaZjgNiwow06pdt26_SR0vCAmi-8PdU1sr7FT237sDk24tTophZHtz_fT5diG7Wvxnn2CJRJfP2F-GKUxXYM7mq6psFR4MejYntJhME1axTL65IzjLytjLJV3jV8Om37GL3h1Jkd8_MgLorNLDgSEaWLlLzjS3qaSTIRk7mhR_Zvbdx2vQ_gvx1qGQPqW4AUyUEkGTEUyVPnellKjcuBRTiBrookB3E3bGmuqM_v2sM1HT1u-P92G-2r5udBq1Zn0bFkwje5sI7O9AIe-_4i7MqkHezfp7Iztj0PljtX4Bc14Rdg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Applying+and+Extending+the+Delta+Debugging+Algorithm+for+Elevator+Dispatching+Algorithms+%28Experience+Paper%29&rft.jtitle=arXiv.org&rft.au=Valle%2C+Pablo&rft.au=Arrieta%2C+Aitor&rft.au=Arratibel%2C+Maite&rft.date=2023-07-03&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.2305.17803