@inproceedings{f6ff5c51e243440289a46874dc23710c,
title = "Timed Transition Tour for Race Detection in Distributed Systems",
abstract = "The paper is devoted to detecting output races in distributed systems. We perform such detection through testing their implementations. As an underlying model for our test generation strategy we consider a Timed Finite State Machine or a TFSM (for short), where each input/output transition is augmented with a timed guard and an output delay. A potential output race can thus be simulated as an output delay mutant; this formalism is introduced in the paper. In order to build a test suite, we adapt a well-known test generation strategy, a transition tour method. The novelty of the proposed method relies on choosing appropriate timestamps for inputs, yielding a timed transition tour. We discuss its fault coverage for output race detection. As an application case study, we consider a Software Defined Networking (SDN) framework where the system under test is represented by the composition of a controller and a switch. Experimental results show that the timed transition tour can detect races in the behavior of the widely used ONOS controller.",
keywords = "Model Based Testing, Races, Timed Finite State Machines, Timed Transition Tour",
author = "Evgenii Vinarskii and Natalia Kushik and Nina Yevtushenko and Jorge L{\'o}pez and Djamal Zeghlache",
note = "Publisher Copyright: Copyright {\textcopyright} 2023 by SCITEPRESS - Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0); 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023 ; Conference date: 24-04-2023 Through 25-04-2023",
year = "2023",
month = jan,
day = "1",
doi = "10.5220/0011986700003464",
language = "English",
series = "International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings",
publisher = "Science and Technology Publications, Lda",
pages = "613--620",
editor = "Hermann Kaindl and Hermann Kaindl and Hermann Kaindl and Mike Mannion and Leszek Maciaszek and Leszek Maciaszek",
booktitle = "Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023",
}