SDN数据平面软件一致性测试用例生成方法

• 作者: 张雯雯 章玥 许天予 郑孝遥
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 一致性测试 测试用例生成 测试覆盖 SDN(software-defined networks) P4(programming protocol-independent packet processors)中间节点编程语言
• 年，卷（期）: 2020,（9）
• 所属期刊栏目: 智能嵌入式系统专题
• 页码范围: 2709-2722
• 页数: 14页
• 分类号: TP311
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005940

摘要

SDN(software-defined network)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义F4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simple_switch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.