Timed transition tour for race detection in distributed systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Timed transition tour for race detection in distributed systems

Résumé

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.
Fichier principal
Vignette du fichier
ENASE23CR (1).pdf (191.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Copyright (Tous droits réservés)

Dates et versions

hal-04322441 , version 1 (04-12-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Evgenii Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache. Timed transition tour for race detection in distributed systems. 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE ), Apr 2023, Prague, Czech Republic. pp.613-620, ⟨10.5220/0011986700003464⟩. ⟨hal-04322441⟩
43 Consultations
22 Téléchargements

Altmetric

Partager

More