买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉厦门大学申请的专利基于P4程序的错误定位方法、设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120560988B 。

龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511054079.0，技术领域涉及：G06F11/362；该发明授权基于P4程序的错误定位方法、设备是由向乔;徐文韵;王垚;舒继武设计研发完成，并于2025-07-30向国家知识产权局提交的专利申请。

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

本发明授权基于P4程序的错误定位方法、设备在权利要求书中公布了：1.一种基于P4程序的错误定位方法，其特征在于，所述方法包括： 接收待分析的P4程序，对所述P4程序进行格式转换为等价的Python代码，并利用所述Python代码模拟程序执行，生成执行轨迹；具体包括：从所述待分析的P4程序中提取数据包头向量、元数据和静态数据，转换为Python函数表示的变量定义；从所述待分析的P4程序中提取匹配表，将匹配表的匹配字段、匹配类型和动作参数转换为第一Python函数，其中所述匹配字段作为函数参数，所述动作参数转换为判断表达式；从所述待分析的P4程序中提取next_table字段和条件判断逻辑，构建通过第二Python函数模拟的有向无环图的执行逻辑；基于测试数据包或控制平面输入，利用所述Python代码模拟执行所述变量定义、所述第一Python函数和所述第二Python函数，生成执行轨迹； 将所述执行轨迹中的变量赋值、条件分支及函数调用转换为静态单赋值形式的SMT公式序列； 利用插值算法对所述SMT公式序列进行计算，基于不可满足的关键约束生成插值序列；其中所述关键约束用于标识导致错误的程序语句； 通过插值规约算法从所述插值序列中提取包含导致程序错误的最小语句集合，并映射回所述待分析的P4程序中的错误位置，具体包括：基于所述插值序列，通过基于约束简化的插值规约算法提取导致错误的最小语句集合中的错误不变量，其中所述错误不变量为导致程序错误的关键逻辑约束；其中，所述基于所述插值序列，通过插值规约算法提取导致错误的最小语句集合中的错误不变量，包括：合并所述插值序列中基于公式等价性的连续相同插值，删除冗余项；通过二分查找优化插值覆盖的程序路径，确定关键插值；根据所述关键插值确定导致错误的错误不变量，其中所述最小语句集合由多个所述错误不变量构成；根据函数名、行号或代码段标识，将所述错误不变量映射到所述待分析的P4程序中的源代码位置。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人厦门大学，其通讯地址为：361005 福建省厦门市思明区思明南路422号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。