Towards Model based Testing for Software Defined Networks

Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache

2018

Abstract

Software Defined Networks (SDNs) and corresponding platforms are expected to be widely used in future generation networks and especially deployed and activated on-demand as agile networking control service components. The correct functioning of SDN platforms must be assured, i.e., such platforms should be thoroughly tested before deployment. After thorough verification of SDN controllers and switches, the composition of them still requires additional testing in order to guarantee the absence of critical faults. We propose a model based testing technique for checking SDN platforms that relies on appropriate graph enumeration. In particular, we define a fault model where the fault domain contains the wrongly and correctly implemented paths allowed with respect to the underlying resource connectivity graph. We also establish the conditions for deriving a complete test suite with respect to such fault model under black box and white box testing assumptions.

Paper Citation

in Harvard Style

Berriri A., López J., Kushik N., Yevtushenko N. and Zeghlache D. (2018). Towards Model based Testing for Software Defined Networks.In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-300-1, pages 440-446. DOI: 10.5220/0006805604400446

in Bibtex Style

@conference{enase18,
author={Asma Berriri and Jorge López and Natalia Kushik and Nina Yevtushenko and Djamal Zeghlache},
title={Towards Model based Testing for Software Defined Networks},
booktitle={Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2018},
pages={440-446},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006805604400446},
isbn={978-989-758-300-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Towards Model based Testing for Software Defined Networks
SN - 978-989-758-300-1
AU - Berriri A.
AU - López J.
AU - Kushik N.
AU - Yevtushenko N.
AU - Zeghlache D.
PY - 2018
SP - 440
EP - 446
DO - 10.5220/0006805604400446