“郭宸琛”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果2个，建议您升级VIP下载更多相关专利

[发明专利]一种P4Target逻辑验证方法与系统-CN202310458898.6有效
发明人：张学利;张长述;何鱼;郭宸琛 -专利权人：深圳云豹智能有限公司
申请日： 2023-04-26 - 公布日： 2023-08-22 - 主分类号： G06F8/30 文献下载
摘要：本申请涉及一种P4Target逻辑验证方法与系统，包括：分析待验证的P4Target及其对应的应用场景约束信息，应用场景约束信息至少包括网络报文特征约束和对应的报文Action约束；根据应用场景约束信息生成特定的流信息以及对应的Action信息，并根据特定的流信息和对应的Action信息生成表项配置信息，将表项配置信息加载到P4target的存储单元中，以及根据特定的流信息生成报文激励；将报文激励分别输入预设的参考模型和P4Target，获取参考模型响应于报文激励进行处理后输出的参考报文以及P4Target响应于报文激励进行处理后输出的实测报文，根据参考报文和实测报文的比较结果确定P4Target的逻辑验证结果。通过本申请，能够高效完成P4Target逻辑的验证。
一种 p4target 逻辑验证方法系统

[发明专利]一种P4-Target的验证方法与系统-CN202310473629.7在审
发明人：萧启阳;何鱼;郭宸琛;张长述 -专利权人：深圳云豹智能有限公司
申请日： 2023-04-26 - 公布日： 2023-08-01 - 主分类号： G06F11/36 文献下载
摘要：本申请涉及一种P4‑Target的验证方法与系统，包括：获取预先设置的网络协议，以所述网络协议为约束条件随机生成网络报文；将所述网络报文分别输入参考验证模型和所述P4‑Target中，获取所述参考验证模型响应于所述报文激励进行处理后输出的参考报文以及所述P4‑Target响应于所述报文激励进行处理后输出的实测报文，根据所述参考报文和所述实测报文的比较结果确定验证是否通过；其中，所述P4‑Target具有多级Match‑Action流水线，每一级Match‑Action流水线的Match表项和Action表项分别根据其前一级Match‑Action流水线编辑输出的报文获得，第一级Match‑Action流水线的Match表项和Action表项根据所述网络报文获得。本申请的方法能够覆盖后级Match‑Action流水线命中表项后再Action处理的场景。
一种 p4 target 验证方法系统