Timed transition tour for race detection in distributed systems - Archive ouverte HAL Accéder directement au contenu
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 sous embargo
Fichier sous embargo
0 1 8
Année Mois Jours
Avant la publication
mardi 4 juin 2024
Fichier sous embargo
mardi 4 juin 2024
Connectez-vous pour demander l'accès au fichier

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⟩
13 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More