P4pktgen：P4 程序的自动化测试用例生成
本论文介绍了 p4pktgen，这是一种用于生成 P4 程序测试用例的自动化工具。p4pktgen 使用符号执行来生成覆盖 P4 程序所有可能的控制流路径的测试用例。该工具已用于测试各种 P4 程序，并已被证明可以生成有效且全面的测试用例。
文件大小：58.09KB
评论区