p4pktgen: Automated Test Case Generation for P4 Programs

p4pktgen: Automated Test Case Generation for P4 Programs” by Andres Nötzli, Jehandad Khan, Andy Fingerhut, Clark Barrett, and Peter Athanas. In Proceedings of the ACM Symposium on SDN Research (SOSR '18), Mar. 2018, pp. 5:1-5:7. Los Angeles, California.


With the rise of programmable network switches, network infrastructure is becoming more flexible and more capable than ever before. Programming languages such as P4 lower the barrier for changing the inner workings of network switches and offer a uniform experience across different devices. How- ever, this programmability also brings the risk of introducing hard-to-catch bugs at a level that was previously covered by well-tested devices with a fixed set of capabilities. Subtle discrepancies between different implementations pose a risk of introducing bugs at a layer that is opaque to the user. To reap the benefit of programmable hardware and keep-or improve upon-the reliability of traditional approaches, new tools are needed. In this work, we present p4pktgen, a tool for automatically generating test cases for P4 programs using symbolic execution. These test cases can be used to validate that P4 programs act as intended on a device.

BibTeX entry:

   author = {Andres N{\"o}tzli and Jehandad Khan and Andy Fingerhut and
	Clark Barrett and Peter Athanas},
   title = {p4pktgen: Automated Test Case Generation for {P4} Programs},
   booktitle = {Proceedings of the ACM Symposium on SDN Research (SOSR '18)},
   pages = {5:1--5:7},
   publisher = {ACM},
   month = mar,
   year = {2018},
   isbn = {978-1-4503-5664-0},
   doi = {10.1145/3185467.3185497},
   note = {Los Angeles, California},
   url = {http://theory.stanford.edu/~barrett/pubs/NKF+18.pdf}

(This webpage was created with bibtex2web.)