OFTEN Testing OpenFlow Networks

Kuźniar, Maciej; Canini, Marco; Kostić, Dejan

doi:10.1109/ewsdn.2012.21

Cited by 25 publications

(18 citation statements)

References 6 publications

(5 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…FlowChecker [380], OFTEN [382], and VeriFlow [381] are three examples of tools to verify correctness properties violations on the system. While the former two are based on offline analysis, the latter is capable of online checking of network invariants.…”

Section: Testing and Verificationmentioning

confidence: 99%

“…The hardwareagnostic software-based control capabilities and the use of open standards for control communication can potentially make debug and troubleshoot easier. The flexibility and programmability introduced by SDN is indeed opening new avenues for developing better tools to debug, troubleshoot, verify and test networks [376], [377], [378], [379], [380], [381], [382], [383], [382].…”

Section: Debugging and Troubleshootingmentioning

confidence: 99%

“…Recent research [381], [383], [380], [378], [382], [388], [389] has shown that verification techniques can be applied to detect and avoid problems in SDN, such as forwarding loops and black holes. Verification can be done at different layers (at the controllers, network applications, or network devices).…”

Section: Testing and Verificationmentioning

confidence: 99%

See 2 more Smart Citations

Software-Defined Networking: A Comprehensive Survey

et al. 2015

View full text Add to dashboard Cite

Abstract-The Internet has led to the creation of a digital society, where (almost) everything is connected and is accessible from anywhere. However, despite their widespread adoption, traditional IP networks are complex and very hard to manage. It is both difficult to configure the network according to predefined policies, and to reconfigure it to respond to faults, load and changes. To make matters even more difficult, current networks are also vertically integrated: the control and data planes are bundled together. Software-Defined Networking (SDN) is an emerging paradigm that promises to change this state of affairs, by breaking vertical integration, separating the network's control logic from the underlying routers and switches, promoting (logical) centralization of network control, and introducing the ability to program the network. The separation of concerns introduced between the definition of network policies, their implementation in switching hardware, and the forwarding of traffic, is key to the desired flexibility: by breaking the network control problem into tractable pieces, SDN makes it easier to create and introduce new abstractions in networking, simplifying network management and facilitating network evolution.In this paper we present a comprehensive survey on SDN. We start by introducing the motivation for SDN, explain its main concepts and how it differs from traditional networking, its roots, and the standardization activities regarding this novel paradigm. Next, we present the key building blocks of an SDN infrastructure using a bottom-up, layered approach. We provide an in-depth analysis of the hardware infrastructure, southbound and northbound APIs, network virtualization layers, network operating systems (SDN controllers), network programming languages, and network applications. We also look at cross-layer problems such as debugging and troubleshooting. In an effort to anticipate the future evolution of this new paradigm, we discuss the main ongoing research efforts and challenges of SDN. In particular, we address the design of switches and control platforms -with a focus on aspects such as resiliency, scalability, performance, security and dependability -as well as new opportunities for carrier transport networks and cloud providers. Last but not least, we analyze the position of SDN as a key enabler of a software-defined environment.

show abstract

Section: Testing and Verificationmentioning

confidence: 99%

Section: Debugging and Troubleshootingmentioning

confidence: 99%

See 1 more Smart Citation

Software-Defined Networking: A Comprehensive Survey

et al. 2015

View full text Add to dashboard Cite

show abstract

“…In contrast, SOFT [86] tries to test the interoperability of OpenFlow switches through symbolic execution, and OFTEN [87] tries to test (physical) OpenFlow switches in a test environment with a scenariobased dummy OpenFlow controller.…”

Section: Testing Trouble Shooting and Debuggingmentioning

confidence: 99%

A Survey on OpenFlow Technologies

Suzuki

Sonoda

Tomizawa

et al. 2014

IEICE Trans. Commun.

View full text Add to dashboard Cite

SUMMARYThe paper presents a survey on OpenFlow related technologies that have been proposed as a means for researchers, network service creators, and others to easily design, test, and deploy their innovative ideas in experimental or production networks to accelerate research activities on network technologies. Rather than having programmability within each network node, separated OpenFlow controllers provide network control through pluggable software modules; thus, it is easy to develop new network control functions in executable form and test them in production networks. The emergence of OpenFlow has started various research activities. The paper surveys these activities and their results.

show abstract

“…We argue that well-established and effective proactive testing is also needed, both to ensure accommodation of crucial requirements and to improve network design and management practices. Finally, techniques based on model checking and symbolic execution have been proposed to assess the correctness of SDN controller software (e.g., [31], [32]). Our framework includes a more expressive and high-level formal language to express correctness properties (stated as snippets of Python code in [31]), and our approach is more flexible, e.g., it directly applies to distributed SDN controllers.…”

Section: Related Workmentioning

confidence: 99%

Towards test-driven software defined networking

LeBrun

Vissicchio

Bonaventure

2014

2014 IEEE Network Operations and Management Symposium (NOMS)

View full text Add to dashboard Cite

Abstract-To configure, troubleshoot and operate their networks, operators often have no alternatives than relying on error-prone manual procedures. The emerging Software Defined Networking paradigm opens new possibilities for more structured networking methodologies. We argue that provably-effective practices can be borrowed from more developed engineering fields, especially software engineering.In this paper, we propose an adaptation of test-driven software development methodologies to software defined networks (SDNs). To support our methodological guidelines, we propose an expressive requirement formalization language. Further, we describe a prototype tool able to check the compliance of an SDN controller with requirements expressed in the proposed language.Our evaluation of the prototype shows promising results on the practical viability of our approach.

show abstract

OFTEN Testing OpenFlow Networks

Cited by 25 publications

References 6 publications

Software-Defined Networking: A Comprehensive Survey

Software-Defined Networking: A Comprehensive Survey

A Survey on OpenFlow Technologies

Towards test-driven software defined networking

Contact Info

Product

Resources

About