主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张雯雯,许天予,章玥,郑孝遥.SDN数据平面软件一致性测试用例生成方法.软件学报,2020,31(9):2709-2722
SDN数据平面软件一致性测试用例生成方法
SDN Data Plane Software Conformance Test Case Generation Method
投稿时间:2019-07-01  修订日期:2019-08-18
DOI:10.13328/j.cnki.jos.005940
中文关键词:  一致性测试  测试用例生成  测试覆盖  SDN(software-defined networks)  P4(programming protocol-independent packet processors)中间节点编程语言
英文关键词:conformance test  test case generation  test coverage  SDN (software-defined networks)  P4 (programming protocol-independent packet processors) intermediate node programming language
基金项目:国家重点研发计划(2018YFB2101301);上海市高可信计算重点实验室开放课题(07dz22304201607);国家自然科学基金(61772034);安徽省自然科学基金(1808085MF172);高校优秀青年人才支持计划(gxyqZD2019010)
作者单位E-mail
张雯雯 上海市高可信计算重点实验室(华东师范大学), 上海 200062
华东师范大学 教育部软硬件协同设计技术与应用工程研究中心, 上海 200062 
 
许天予 上海移动通信有限公司, 上海 200070  
章玥 上海市高可信计算重点实验室(华东师范大学), 上海 200062
华东师范大学 教育部软硬件协同设计技术与应用工程研究中心, 上海 200062 
yzhang@sei.ecnu.edu.cn 
郑孝遥 安徽师范大学 计算机与信息学院, 安徽 芜湖 241002  
摘要点击次数: 1010
全文下载次数: 483
中文摘要:
      SDN(software-defined network)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simple_switch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.
英文摘要:
      SDN (software-defined network) is designed to solve the problems of traditional networks with complex and scattered architecture, making the network more flexible.The characteristic of the P4 programming language is that users can directly define P4 programs according to their needs for processing data packets,and then compile and configure user requirements to network equipment through the adaptation file.The SDN data plane conformance test for the P4 programming language is to send the consistency test cases to the P4 network equipment to evaluate the consistency of the actual output and the expected output.Conformance test cases are the carriers for performing conformance tests,and the traditional manual construction of test cases is a tedious and time-consuming work.This article focuses on the design principles and generation method of SDN data plane software conformance test cases for P4 programming language, gives the conformance test case coverage standards,designs the command information entity structure and the test case entity structure, and uses the simple_switch virtual switch loaded with the P4 program as the test object to illustrate the conformance test case generation process.This paper also implements an automatic test case generation tool for P4 network device conformance testing, and verifies the effectiveness of the tool to automatically generate test cases, and realizes the simplicity of the conformance test case construction process
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利