Extended Finite State Machine based test generation for an OpenFlow switch - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Extended Finite State Machine based test generation for an OpenFlow switch

Résumé

Implementations of an OpenFlow (OF) switch, a crucial Software Defined Networking (SDN) component, are prone to errors caused by developer mistakes or/and ambiguous requirements stated in the OF documents. The paper is devoted to test derivation for related OF switch implementations. A model based test generation strategy is proposed. It relies on an Extended Finite State Machine (EFSM) specification that describes the functional behaviour of the switch-to-controller communication while potential faults/misconfigurations are expressed via corresponding mutation operators. We propose a method for deriving a test suite that contains distinguishing sequences for the specification EFSM and corresponding mutants. The proposed approach is implemented as a testbed to automatically derive and execute the test suites against different versions of an OF implementation. Preliminary experimental evaluation has shown the effectiveness of the proposed approach. Further on, the derived test suites have been able to detect a number of functional inconsistencies such as erroneous responses to the Flow Mod adding rules with specific 'action' values in an available Open vSwitch implementation
Fichier principal
Vignette du fichier
EFSMBasedApproach.pdf (218.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02263575 , version 1 (05-08-2019)

Identifiants

  • HAL Id : hal-02263575 , version 1

Citer

Asma Berriri, Natalia Kushik, Djamal Zeghlache. Extended Finite State Machine based test generation for an OpenFlow switch. 2019. ⟨hal-02263575⟩
221 Consultations
156 Téléchargements

Partager

Gmail Facebook X LinkedIn More