Authors:
Evgenii Vinarskii
1
;
Natalia Kushik
1
;
Nina Yevtushenko
2
;
3
;
Jorge López
4
and
Djamal Zeghlache
1
Affiliations:
1
SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Palaiseau, France
;
2
Ivanikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia
;
3
Higher School of Economics, Moscow, Russia
;
4
Airbus, Issy-Les-Moulineaux, France
Keyword(s):
Races, Model Based Testing, Timed Finite State Machines, Timed Transition Tour.
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 race
s in the behavior of the widely used ONOS controller.
(More)