Publication

Automating the Testing of OpenFlow Applications

Dejan Kostic, Marco Canini, Jennifer Rexford
2011
Article de conférence
Résumé

Software-defined networking, and the emergence of OpenFlow-capable switches, enables a wide range of new network functionality. However, enhanced programmability inevitably leads to more software faults (or bugs). We believe that tools for testing OpenFlow programs are critical to the success of the new technology. However, the way OpenFlow applications interact with the data plane raises several challenges. First, the space of possible inputs (e.g., packet headers and inter-packet timings) is huge. Second, the centralized controller has a indirect view of the traffic and experiences unavoidable delays in installing rules in the switches. Third, external factors like user behavior (e.g., mobility) and higher-layer protocols (e.g., the TCP state machine) affect the correctness of OpenFlow programs. In this work-in-progress paper, we extend techniques for symbolic execution to generate inputs that systematically explore the space of system executions. First, we analyze controller applications to identify equivalence classes of packets that exercise different parts of the code. Second, we propose several network models with increasing precision, ranging from simple traffic models to live testing on the target network. Initial experiences with our prototype, which symbolically executes OpenFlow applications written in Python, suggest that our techniques can help programmers identify bugs in their OpenFlow programs.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Concepts associés (32)
Pile de protocoles
Une pile de protocoles est une mise en œuvre particulière d'un ensemble de protocoles de communication réseau. L'intitulé « pile » implique que chaque couche de protocole s'appuie sur celles qui sont en dessous afin d'y apporter un supplément de fonctionnalité. Il en existe de plusieurs : thumb|Position de la couche réseau dans le modèle OSI et dans TCP-IP • Le « modèle de référence OSI » — OSI signifiant « Open Systems Interconnection » soit en français « Interconnexion de systèmes ouverts » — défini par l'ISO décrit ainsi sept couches empilées les unes sur les autres.
Software-defined networking
Le software-defined networking (SDN) est un modèle d’architecture réseau qui permet aux administrateurs de réseaux de gérer les services de réseaux par abstraction de fonctionnalités. SDN est un acronyme signifiant Software Defined Network. C'est un ensemble de technologies ayant comme points communs : un contrôle centralisé des ressources réseau ; une orchestration centralisée ; une virtualisation des ressources physiques. Le SDN vise une plus grande agilité dans le déploiement et le fonctionnement des infrastructures réseau en s'inspirant des technologies du Cloud Computing.
Link layer
In computer networking, the link layer is the lowest layer in the Internet protocol suite, the networking architecture of the Internet. The link layer is the group of methods and communications protocols confined to the link that a host is physically connected to. The link is the physical and logical network component used to interconnect hosts or nodes in the network and a link protocol is a suite of methods and standards that operate only between adjacent network nodes of a network segment.
Afficher plus
Publications associées (36)

Non-volatile data storage medium and system

Martin Vetterli, Yves Bellouard, Ruben Ricca

A data storage medium (2) comprising a stacked plurality of layers (9), each layer composed of a layer material selected from a group comprising at least two different dielectric materials, adjacent layers being formed of different materials, and at least ...
2023

Single-Layer Subwavelength Femtosecond-Laser-Induced Confined Nanocrystallization in Multistack Dielectrics

Yves Bellouard

We demonstrate extreme laser-induced modification confinement in a stack of dielectric layers, along the optical axis, without the use of tight focusing. Specifically, we show that an aperiodic distribution of layer thicknesses can effectively lead to the ...
2023

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...
EPFL2022
Afficher plus
MOOCs associés (3)
Smart Cities, Management of Smart Urban Infrastructures
Learn about the principles of management of urban infrastructures in the era of Smart Cities. The introduction of Smart urban technologies into legacy infrastructures has already resulted and will con
Smart Cities, Management of Smart Urban Infrastructures
Learn about the principles of management of urban infrastructures in the era of Smart Cities. The introduction of Smart urban technologies into legacy infrastructures has already resulted and will con
Smart Cities, Management of Smart Urban Infrastructures
Learn about the principles of management of urban infrastructures in the era of Smart Cities. The introduction of Smart urban technologies into legacy infrastructures has already resulted and will con

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.