Timed Transition Tour for Race Detection in Distributed Systems

Evgenii Vinarskii, Natalia Kushik, Nina Yevtushenko, Nina Yevtushenko, Jorge López, Djamal Zeghlache

2023

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.

Download


Paper Citation


in Harvard Style

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 - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 613-620. DOI: 10.5220/0011986700003464


in Bibtex Style

@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 - Volume 1: ENASE,},
year={2023},
pages={613-620},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011986700003464},
isbn={978-989-758-647-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Timed Transition Tour for Race Detection in Distributed Systems
SN - 978-989-758-647-7
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