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
Keyword(s):
Software Defined Networks, Formal Methods, Testing, Equivalent Classes, Graph Enumeration.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Cloud Computing
;
Data Engineering
;
Databases and Data Security
;
Formal Methods
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
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.