loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

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)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.97.9.172

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Vinarskii, E. ; Kushik, N. ; Yevtushenko, N. ; López, J. and Zeghlache, D. (2023). Timed Transition Tour for Race Detection in Distributed Systems. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-647-7; ISSN 2184-4895, SciTePress, pages 613-620. DOI: 10.5220/0011986700003464

@conference{enase23,
author={Evgenii Vinarskii and Natalia Kushik and Nina Yevtushenko and Jorge López and Djamal Zeghlache},
title={Timed Transition Tour for Race Detection in Distributed Systems},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2023},
pages={613-620},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011986700003464},
isbn={978-989-758-647-7},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Timed Transition Tour for Race Detection in Distributed Systems
SN - 978-989-758-647-7
IS - 2184-4895
AU - Vinarskii, E.
AU - Kushik, N.
AU - Yevtushenko, N.
AU - López, J.
AU - Zeghlache, D.
PY - 2023
SP - 613
EP - 620
DO - 10.5220/0011986700003464
PB - SciTePress