Skip to main content
Article
Model-Based Testing of SDN Firewalls: A Case Study
2015 Second International Conference on Trustworthy Systems and Their Applications
  • Izzat Alsmadi, Boise State University
  • Milson Munakami, Boise State University
  • Dianxiang Xu, Boise State University
Document Type
Conference Proceeding
Publication Date
1-1-2015
Disciplines
Abstract
In Software defined networking (SDN), security mechanisms such as firewalls need to deal with dynamic network environments. This raises challenges for quality assurance of these security mechanisms. This paper presents a case study on model-based testing of SDN firewall programs. The subject program is the firewall module of Floodlight, one of the most popular SDN platforms in Java. We model the expected firewall behavior with function nets, a modeling formalism in the MISTA tool. The test code is generated automatically by MISTA. The result of our case study shows that the generated model-based tests have achieved much higher mutation coverage than the existing Junit tests in the Floodlight firewall program. This indicates that model-based testing can be a viable option for quality assurance of SDN-based firewall programs.
Citation Information
Izzat Alsmadi, Milson Munakami and Dianxiang Xu. "Model-Based Testing of SDN Firewalls: A Case Study" 2015 Second International Conference on Trustworthy Systems and Their Applications (2015)
Available at: http://works.bepress.com/dianxiang_xu/21/