基于P4程序的错误定位方法、设备

本公开提供了基于P4程序的错误定位方法、设备，方法包括：接收待分析的P4程序，对所述P4程序进行格式转换为等价的Python代码，并利用所述Python代码模拟程序执行，生成执行轨迹；将所述执行轨迹中的变量赋值、条件分支及函数调用转换为静态单赋值形式的SMT公式序列；利用克雷格插值算法对所述SMT公式序列进行计算，基于不可满足的约束生成插值序列；通过插值规约算法从所述插值序列中提取包含导致程序错误的最小语句集合，并映射回所述待分析的P4程序中的错误位置。