SDN Data Plane Software Conformance Test Case Generation Method

被引：0

作者：

Zhang W.-W. ^{[1
,2
]}

Xu T.-Y. ^{[3
]}

Zhang Y. ^{[1
,2
]}

Zheng X.-Y. ^{[4
]}

机构：

[1] Shanghai Key Laboratory for Trustworthy Computing, East China Normal University, Shanghai

[2] MOE Engineering Research Center of Hardware & Software Co-design Technology and Application, East China Normal University, Shanghai

[3] Shanghai Mobile Communications Co. Ltd., Shanghai

[4] School of Computer and Information, Anhui Normal University, Wuhu

来源：

Ruan Jian Xue Bao/Journal of Software | 2020年 / 31卷 / 09期

基金：

国家重点研发计划; 中国国家自然科学基金;

关键词：

Conformance test; P4 (programming protocol-independent packet processors) intermediate node programming language; SDN (software-defined networks); Test case generation; Test coverage;

D O I：

10.13328/j.cnki.jos.005940

中图分类号：

学科分类号：

摘要：

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 © Copyright 2020, Institute of Software, the Chinese Academy of Sciences. All rights reserved.

引用

页码：2709 / 2722

页数：13

共 9 条

[1]

Zhang CK, Cui Y, Tang W, Wu JP., Research progress of software defined network (SDN), Ruan Jian Xue Bao/Journal of Software, 26, 1, pp. 62-81, (2015)

[2]

Casado M, McKeown N, Shenker S., From ethane to SDN and beyond, ACM SIGCOMM Computer Communication Review, 49, 5, pp. 92-95, (2019)

[3]

Shenker S., The future of networking, and the past of protocols, Proc. of the Open Networking Summit, (2011)

[4]

P4 Official Website, (2019)

[5]

Bosshart P, Daly D, Gibb G, Izzard M, McKeown N, Rexford J, Schlesinger C, Talayco D, Vahdat A, Varghese G, Walker D., P4: Programming protocol-independent packet processors, Computer Communication Review, 44, 3, pp. 87-95, (2014)

[6]

Zhou Y, Bi J., ClickP4: Towards modular programming of P4, Proc. of the SIGCOMM Posters and Demos, (2017)

[7]

Fan CZ, Bi J, Zhou Y., NS4: A P4-driven network simulator, Proc. of the SIGCOMM Posters and Demos, (2017)

[8]

ONF Connect (NG-SDN Track)

[9]

Automated test case generation for P4 programs

← 1 →