%0 Journal Article
%T 测试驱动的OpenFlow协议建模
%A 吕亮亮
%A 李华
%A 董路路
%A 阮宏玮
%J 中山大学学报（自然科学版）
%D 2016
%X 摘要 对OpenFlow协议的形式化建模进行了研究，提出一种基于测试驱动的形式化建模新方法，首先，该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成，然后对OpenFlow协议的通信过程进行了分析，并将其划分为三个阶段，最终得出先分段，再分角色对OpenFlow协议进行建模，并根据模型生成可执行测试例，用于测试支持OpenFlow协议的各种设备和控制器是否符合规范.对OpenFlow协议通信的第一个阶段—Hello消息，采用提出的方法进行了建模及测试例生成实验，实验结果表明，该方法有效简化了OpenFlow协议的形式化建模及测试例生成过程
%K 软件定义网络
%K OpenFlow
%K 测试
%K 建模
%U http://xwxt.sict.ac.cn/CN/abstract/abstract3392.shtml