Research Area: Software Defined Networks
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.
Keywords:
Software defined networking
firewalls
software testing
model based testing
Petri net
Author(s) Name: Izzat Alsmadi; Milson Munakami; Dianxiang Xu
Journal name:
Conferrence name: 2015 Second International Conference on Trustworthy Systems and Their Applications
Publisher name: IEEE
DOI: 10.1109/TSA.2015.22
Volume Information:
