loading
Documents

Research.Publish.Connect.

Paper

Authors: Asma Berriri 1 ; Jorge López 1 ; Natalia Kushik 1 ; Nina Yevtushenko 2 and Djamal Zeghlache 1

Affiliations: 1 SAMOVAR, CNRS, Télécom SudParis and Université Paris-Saclay, France ; 2 Tomsk State University and Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russian Federation

ISBN: 978-989-758-300-1

Keyword(s): Software Defined Networks, Formal Methods, Testing, Equivalent Classes, Graph Enumeration.

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.

PDF ImageFull Text

Download
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 54.235.48.106

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:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.