-
题名SDN数据平面软件一致性测试用例生成方法
被引量:2
- 1
-
-
作者
张雯雯
许天予
章玥
郑孝遥
-
机构
上海市高可信计算重点实验室(华东师范大学)
华东师范大学教育部软硬件协同设计技术与应用工程研究中心
上海移动通信有限公司
安徽师范大学计算机与信息学院
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第9期2709-2722,共14页
-
基金
国家重点研发计划(2018YFB2101301)
上海市高可信计算重点实验室开放课题(07dz22304201607)
+2 种基金
国家自然科学基金(61772034)
安徽省自然科学基金(1808085MF172)
高校优秀青年人才支持计划(gxyqZD2019010)
-
文摘
SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simpleswitch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.
-
关键词
一致性测试
测试用例生成
测试覆盖
SDN(software-defined
networks)
p4(programming
protocol-independent
packet
processors)中间节点编程语言
-
Keywords
conformance test
test case generation
test coverage
SDN(software-defined networks)
p4(programming protocol-independent packet processors)intermediate node programming language
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-