Test derivation for SDN-enabled switches: a logic circuit based approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Test derivation for SDN-enabled switches: a logic circuit based approach

Résumé

The paper is devoted to testing critical Software Defined Networking (SDN) components and in particular, SDN-enabled switches. A switch can be seen as a forwarding device with a set of configured rules and thus, can be modelled and analyzed as a ‘stateless' system. Correspondingly, in this paper we propose to use appropriate logic circuits or networks to model the switch behavior. Both active and passive testing modes can benefit from such representation. First, this allows applying well-known test generation strategies such as for example, test derivation techniques targeting Single Stuck-at Faults (SSFs). We also specify a number of mutation operators for switch rules and propose an algorithm for eliminating equivalent mutants via SAT solving. Logic circuits simulating the behavior of the switches can be effectively utilized for run-time verification, and such logic circuit based approach is also discussed in the paper. Preliminary experimental results with Open vSwitch, on one hand, demonstrate the necessity of considering new fault models for logic circuits (apart from, for example well established SSFs) and on the other hand, confirm the efficiency of the proposed test generation and verification techniques
Fichier non déposé

Dates et versions

hal-01990709 , version 1 (23-01-2019)

Identifiants

Citer

Jorge Eleazar Lopez Coronado, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache. Test derivation for SDN-enabled switches: a logic circuit based approach. IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2018, Cádiz, Spain. pp.69 - 84, ⟨10.1007/978-3-319-99927-2_7⟩. ⟨hal-01990709⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More