-
公开(公告)号：CN115051984B
公开(公告)日：2023-03-28
申请号：CN202210164280.4
申请日：2022-02-23
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式数据平面验证方法，其特征在于，包括：验证规划器接收数据平面验证需求、网络拓扑及设备‑IP前缀映射信息；验证规划器基于数据平面验证需求和网络拓扑结构，生成有向无环网络图DVNet；验证规划器将计数任务进行分解，以使得网络中各个设备获得分解后的计数任务；以及网络中的各个设备接收分解后的计数任务，通过设备上的验证器进行计数，以获得验证结果。本公开还提供了一种分布式数据平面验证系统。
-
公开(公告)号：CN116684249A
公开(公告)日：2023-09-01
申请号：CN202310710346.X
申请日：2023-06-15
Applicant: 厦门大学
Abstract: 本公开提供了一种基于故障场景的分布式数据平面验证方法，包括：根据数据平面验证需求、网络拓扑结构、设备节点的网络协议前缀以及预设故障场景中各种链路故障状态，生成包含预设故障场景中所有有效路径的有向无环图；将计数任务分解之后的子任务分配给各个设备节点，以使得各个设备节点上的验证器基于子任务进行计数；响应于实际故障链路与预设故障场景相匹配的判断结果，在有向无环图中调取对应于实际链路故障状态的有效路径洪泛实际故障链路；调取有效路径中的各个设备节点基于子任务进行重新计数，以重新计数的结果作为数据平面验证结果。本公开还提供一种基于故障场景的分布式数据平面验证系统。
-
公开(公告)号：CN116684248A
公开(公告)日：2023-09-01
申请号：CN202310710299.9
申请日：2023-06-15
Applicant: 厦门大学
IPC: H04L41/06 , H04L41/14 , H04L61/2592
Abstract: 本公开提供了一种分布式数据平面验证方法，包括：响应于当前设备节点具备数据包转换条件，由当前设备节点将上游设备节点发送的第一订阅消息转换为第二订阅消息；调用所述下游设备节点执行对第二订阅消息的计数任务，并将对第二订阅消息的计数结果反馈给当前设备节点；由当前设备节点将对第二订阅消息的计数结果作为对第一订阅消息的计数结果，并反馈给上游设备节点。本公开还提供一种分布式数据平面验证系统。
-
公开(公告)号：CN115051984A
公开(公告)日：2022-09-13
申请号：CN202210164280.4
申请日：2022-02-23
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式数据平面验证方法，其特征在于，包括：验证规划器接收数据平面验证需求、网络拓扑及设备‑IP前缀映射信息；验证规划器基于数据平面验证需求和网络拓扑结构，生成有向无环网络图DVNet；验证规划器将计数任务进行分解，以使得网络中各个设备获得分解后的计数任务；以及网络中的各个设备接收分解后的计数任务，通过设备上的验证器进行计数，以获得验证结果。本公开还提供了一种分布式数据平面验证系统。
-
-
-
Search Results
4
records
(took 0.018 seconds)
