软件学报

作者：张雯雯，许天予，章玥，郑孝遥

单位：张雯雯，上海市高可信计算重点实验室(华东师范大学), 上海 200062;华东师范大学 教育部软硬件协同设计技术与应用工程研究中心, 上海 20006211,许天予，上海移动通信有限公司, 上海 20007002,章玥，上海市高可信计算重点实验室(华东师范大学), 上海 200062;华东师范大学 教育部软硬件协同设计技术与应用工程研究中心, 上海 20006203,郑孝遥，安徽师范大学 计算机与信息学院, 安徽 芜湖 24100204

关键词：一致性测试;测试用例生成;测试覆盖;SDN(software-defined networks);P4(programming protocol-independent packet processors)中间节点编程语言

基金：国家重点研发计划（2018YFB2101301）；上海市高可信计算重点实验室开放课题（07dz22304201607）；国家自然科学基金（61772034）；安徽省自然科学基金（1808085MF172）；高校优秀青年人才支持计划（gxyqZD2019010）

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

来源：2020年第9期

《软件学报》期刊编辑部

查看软件学报杂志2020年第9期