测试驱动的OpenFlow协议建模  

Test-driven Modeling of OpenFlow Protocol

作　　者：吕亮亮[1] 阮宏玮[1,2] 董路路[1] 李华[1,2] 

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010020 [2]内蒙古大学网络信息中心,内蒙古呼和浩特010020

出　　处：《小型微型计算机系统》2016年第5期966-971,共6页Journal of Chinese Computer Systems

基　　金：国家自然基金项目(61163011;61262082)资助;内蒙古自然科学基金项目(2012MS0922)资助

摘　　要：对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分角色对OpenFlow协议进行建模,并根据模型生成可执行测试例,用于测试支持OpenFlow协议的各种设备和控制器是否符合规范.对OpenFlow协议通信的第一个阶段—Hello消息,采用提出的方法进行了建模及测试例生成实验,实验结果表明,该方法有效简化了OpenFlow协议的形式化建模及测试例生成过程.Rresearch formal modeling of the OpenFlow protocol, and put forward a new formal modeling method based on test-driven. Firstly the formal modeling for OpenFlow protocol is considered at the beginning of generating the test cases. Then does analysis for communication process of the OpenFlow protocol, which is divided into three stages, finally get the first-phrase. And then modeling the OpenFlow protocol according to roles, generating executable test cases based on model, which are used to support testing if the devices and controllers of OpenFlow protocol are compliant or not. For the first stage of OpenFlow communication--Hello message, making experiments of modeling and generating test cases by the method we put forward, the results show that the formal modeling of Open-Flow protocol and the process of generating test cases have been effectively simplified by the method this paper put forward.

关 键 词：软件定义网络 OpenFlow 测试 建模 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]