测试驱动的OpenFlow协议建模

• 作者: 吕亮亮 李华 董路路 阮宏玮
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 软件定义网络 OpenFlow 测试 建模
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 计算机软件与数据库研究
• 页码范围: 966-971
• 页数: 6页
• 分类号: TP393
• 字数: 6081字
• 语种: 中文

摘要

对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分角色对OpenFlow协议进行建模,并根据模型生成可执行测试例,用于测试支持OpenFlow协议的各种设备和控制器是否符合规范.对OpenFlow协议通信的第一个阶段—Hello消息,采用提出的方法进行了建模及测试例生成实验,实验结果表明,该方法有效简化了OpenFlow协议的形式化建模及测试例生成过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华	内蒙古大学计算机学院	70	183	7.0	9.0
5	吕亮亮	内蒙古大学计算机学院	2	8	2.0	2.0
6	阮宏玮	内蒙古大学计算机学院	12	19	2.0	3.0
10	董路路	内蒙古大学计算机学院	3	8	2.0	2.0