OFART: OpenFlow-Switch Adaptive Random Testing

摘要

In the advent of SDN paradigm, the accumulated verification technologies in the existing software fields are being used to verify the SDN. Data Plane consists of Forwarding Devices and is controlled by Control Plane. If correctness of the Forwarding Device is not verified, it affects to the whole network. However, doing every testing by manually is a huge time-cost consuming act, so it requires an automation. In this paper, it suggests a framework which applies ART (Adaptive Random Testing) technique which considers OpenFlow Switch to be Black Box from the Controller point of view and is easy to do a testing automation.