A SOFT way for OpenFlow switch interoperability testing

CoNEXT 2012 - Proceedings of the 2012 ACM Conference on Emerging Networking Experiments and Technologies

Volumn , Issue , 2012, Pages 265-276

  Kuźniar, Maciej ^a   Perešíni, Peter ^a   Canini, Marco ^b   Venzano, Daniele ^a   Kostić, Dejan ^c  

^a EPFL   (Switzerland)

^b Brown University   (Spain)

^c IMDEA NETWORKS INSTITUTE   (Spain)

Author keywords

Bugs; OpenFlow; Reliability; Switches; Symbolic execution

Indexed keywords

AGENT IMPLEMENTATION; BUGS; FORWARDING TABLES; INTEROPERABILITY TESTING; NETWORK FUNCTIONALITY; OPENFLOW; SYMBOLIC EXECUTION; TESTING AGENTS;

EXPERIMENTS; INTEROPERABILITY; RELIABILITY; SWITCHES;

SOFTWARE AGENTS;

EID: 84871948292     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2413176.2413207     Document Type: Conference Paper

References (25)

1. Going With the Flow: Google's Secret Switch to the Next Wave of Networking. http://www.wired.com/wiredenterprise/2012/04/going-with-the-flow- google/all/1.
2. OFTest. http://oftest.openflowhub.org.
3. ONF Holds Its First Test Event. https://www.opennetworking.org/?p= 249&option=com-wordpress&Itemid=72.
4. Open vSwitch: An Open Virtual Switch. http://openvswitch.org.
5. OpenFlow Switch Specification. http://www.openflow.org/documents/ openflow-spec-v1.0.0.pdf.
6. Research experiment disrupts Internet, for some. http://www. computerworld.com/s/article/9182558/Research-experiment-disrupts-Internet-for- some.
7. Staring Into The Gorge: Router Exploits. http://www.renesys.com/blog/ 2009/08/staring-into-the-gorge.shtml.
8. S. Bucur, V. Ureche, C. Zamfir, and G. Candea. Parallel Symbolic Execution for Automated Real-World Software Testing. In EuroSys, 2011.
9. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI, 2008.
10. M. Canini, V. Jovanović, D. Venzano, B. Spasojević, O. Crameri, and D. Kostić. Toward Online Testing of Federated and Heterogeneous Distributed Systems. In USENIX Annual Technical Conference, 2011.
11. M. Canini, D. Venzano, P. Perešíni, D. Kostić, and J. Rexford. A NICE Way to Test OpenFlow Applications. In NSDI, 2012.
12. V. Chipounov, V. Kuznetsov, and G. Candea. The S2E Platform: Design, Implementation, and Applications. ACM Transactions on Computer Systems, 30(1):1-49, 2012.
13. N. Feamster and H. Balakrishnan. Detecting BGP Configuration Faults with Static Analysis. In NSDI, 2005.
14. V. Ganesh and D. L. Dill. A Decision Procedure for Bit-Vectors and Arrays. In CAV, 2007.
15. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In PLDI, 2005.
16. P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated Whitebox Fuzz Testing. In NDSS, 2008.
17. P. Kazemian, G. Varghese, and N. McKeown. Header Space Analysis: Static Checking for Networks. In NSDI, 2012.
18. J. C. King. A new approach to program testing. In Proceedings of the international conference on Reliable software, 1975.
19. N. Kothari, R. Mahajan, T. Millstein, R. Govindan, and M. Musuvathi. Finding Protocol Manipulation Attacks. In SIGCOMM, 2011.
20. H. Mai, A. Khurshid, R. Agarwal, M. Caesar, P. B. Godfrey, and S. T. King. Debugging the Data Plane with Anteater. In SIGCOMM, 2011.
21. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. OpenFlow: Enabling Innovation in Campus Networks. SIGCOMM Comput. Commun. Rev., 38:69-74, March 2008.
22. C. Rotsos, N. Sarrar, S. Uhlig, R. Sherwood, and A. W. Moore. Oflops: An open framework for openflow switch evaluation. In PAM, 2012.
23. A. Wundsam, D. Levin, S. Seetharaman, and A. Feldmann. OFRewind: Enabling Record and Replay Troubleshooting for Networks. In USENIX ATC, 2011.
24. J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu, H. Lin, M. Yang, F. Long, L. Zhang, and L. Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI, 2009.
25. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. Automatic Test Packet Generation. In CoNEXT, 2012.